Member predicate ConstantExprs::ForLoopEntryConditionEvaluator::isLoopEntry

Holds if cfn is the entry point of the loop for which e is the condition.

predicate isLoopEntry(Expr e, Node cfn)