Member predicate ExprEvaluator::ignoreVariableAssignment

When evaluating a syntactic subexpression of e, we may ignore the expression value assigned to variable v.

Subclasses may implement this predicate when needed.