def _pure_literal(self):
        return False

    #########################
    #      Heuristics       #
    #########################
Rewind this cursor to its unevaluated state.
dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._pure_literal--crossover with--dataset/ETHPy150Open mongodb/motor/motor/motor_gridfs.py/AgnosticGridOutCursor.rewind