def _pure_literal(self):
        return False

    #########################
    #      Heuristics       #
    #########################
Look for pure literals and assign them when found.
dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._pure_literal