Predicate UselessComparisonTest::constCond

Holds if cond always evaluates to isTrue.

predicate constCond(BinaryExpr cond, boolean isTrue, Reason reason)