Member predicate Guard::isEquality
Holds if this guard is an equality test between e1 and e2. If the test is
negated, that is !=, then polarity is false, otherwise polarity is
true.
predicate isEquality(Expr e1, Expr e2, boolean polarity)Holds if this guard is an equality test between e1 and e2. If the test is
negated, that is !=, then polarity is false, otherwise polarity is
true.
predicate isEquality(Expr e1, Expr e2, boolean polarity)