Member predicate ConstantExprs::ExprEvaluator::ignoreNonAnalyzableVariableDefinition

When evaluating a syntactic subexpression of e, we may ignore the non-analyzable variable definition def for variable v.

Subclasses may implement this predicate when needed.

predicate ignoreNonAnalyzableVariableDefinition(Expr e, Variable v, StmtParent def)