Predicate equality_test
Holds if c is a test comparing x and y. is is true if the operator is is or ==, it is false if the operator is is not or !=.
Import path
import semmle.python.pointsto.Filterspredicate equality_test(CompareNode c, ControlFlowNode x, boolean is, ControlFlowNode y)