def _is_sentinel(self, lit, cls):
        return cls in self.sentinels[lit]
Check if a literal is a sentinel of a given clause.
dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._is_sentinel