Member predicate 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.