Predicate UselessComparisonTest::constCondSimple

Holds if cond always evaluates to isTrue.

predicate constCondSimple(BinaryExpr cond, boolean isTrue)