Member predicate ConstantExprs::ForLoopEntryConditionEvaluator::isLoopBody

Holds if s is the loop body guarded by the condition e.

predicate isLoopBody(Expr e, StmtParent s)