Member predicate PartialDefinitions::VariablePartialDefinition::definesExpressions
Holds if this partial definition may modify inner (or what it points
to) through outer. These expressions will never be Conversions.
For example, in f(& (*a).x), there are two results:
inner=... .x,outer=&...inner=a,outer=*
predicate definesExpressions(Expr inner, Expr outer)