Predicate CompareIdenticalValues::accessWithConversions

Holds if e is a reference to variable v, possibly with parentheses or numeric conversions (that is, the unary operators + or - or a call to Number) applied.

predicate accessWithConversions(Expr e, Variable v)