code: def reset(self):
          
          self._solver.reset()
  
          # Memory versioning.
          self._mem_instance = 0
  
          self._mem_init = smtsymbol.BitVecArray(self._address_size, 8, "MEM_{}".format(self._mem_instance))
          self._mem_curr = self.make_array(self._address_size, "MEM_{}".format(self._mem_instance))
  
          self._var_name_mappers = {}
docs: Reset internal state.