LocalNotMayAliasAnalysis attempts to determine if two local
variables (at two potentially different program points) definitely
point to different objects.
The underlying abstraction is that of definition expressions.
A special version of the local must-alias analysis that takes redefinitions within loops into account.
For variable that is redefined in a loop, the must-alias information is invalidated and set to
LocalMustAliasAnalysis.UNKNOWN .
E.g.