code: def rename_property(self, old, new):
          
          self._properties.replace(old, new)
          pairs = self._pairs
          pairs |= {(o, new) for o in self._objects
              if (o, old) in pairs and not pairs.remove((o, old))}
docs: Replace the name of a property by a new one.