code: def variable(self):
          
          # Use a character invalid in python identifiers to avoid clashing.
          name = "@py_assert" + str(next(self.variable_counter))
          self.variables.append(name)
          return name
docs: Get a new variable.