Member predicate ConstantExprs::ForLoopEntryConditionEvaluator::interesting

e is an expression for which we want to calculate a value.

predicate interesting(Expr e)