Predicate UselessComparisonTest::uselessTest

The information from s1 implies that test always has the value testIsTrue.

predicate uselessTest(ConditionNode s1, BinaryExpr test, boolean testIsTrue)