def _vsids_lit_unset(self, lit):
        var = abs(lit)
        heappush(self.lit_heap, (self.lit_scores[var], var))
        heappush(self.lit_heap, (self.lit_scores[-var], -var))
Returns the special key query field name '__key__'
dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._vsids_lit_unset--crossover with--dataset/ETHPy150Open jahlborn/appengine-rest-server/src/main/python/rest/__init__.py/KeyHandler.get_query_field