def rename_property(self, old, new):
        """Replace the name of a property by a new one."""
        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))}
Replace the name of a property by a new one.