Member predicate WhileModifierExpr::entersLoopWhenConditionIs

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