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

predicate ignoreVariableAssignment(Expr e, Variable v, Expr value)