Member predicate UntilModifierExpr::entersLoopWhenConditionIs

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