Predicate Filters::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 !=.

predicate equality_test(CompareNode c, ControlFlowNode x, boolean is, ControlFlowNode y)