Predicate signature InputSig::equalityTest
Holds if eqtest is an equality or inequality test between left and
right. The polarity indicates whether this is an equality test (true)
or inequality test (false).
signature predicate equalityTest(Expr eqtest, Expr left, Expr right, boolean polarity)