Member predicate WhileExpr::entersLoopWhenConditionIs

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