Member predicate ConstantExprs::ExprEvaluator::interesting

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

predicate interesting(Expr e)