Member predicate ExprEvaluator::interestingInternal
req is an expression for which a value is required to be evaluated in
order to calculate a value for interesting expression e. sub
indicates whether req is a syntactic subexpression of e.
This predicate enumerates the nodes top-down; getValueInternal()
calculates the values bottom-up.
predicate interestingInternal(Expr e, Expr req, boolean sub)