code: def copy(self):
          
          rv = object.__new__(self.__class__)
          rv.__dict__.update(self.__dict__)
          rv.symbols = self.symbols.copy()
          return rv
docs: Create a copy of the current one.