def rename(self, src, dst, preserve=False):
        self._send('RENAMENX' if preserve else 'RENAME', src, dst)
        return self.getResponse()
Perform unit propagation on the current theory.
dataset/ETHPy150Open deldotdr/txRedis/txredis/client.py/RedisClient.rename--crossover with--dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._unit_prop