Member predicate UntilExpr::entersLoopWhenConditionIs

Holds if the loop body is entered when the condition is condValue. For until loops, this holds when condValue is false.