[Soot-list] my StrongLocalMustAliasAnalysis gives unexpected results

[Eric Bodden]

Thanks Zell, you are right, the last patch was apparently not correct
in all cases.

I have now committed a version which I believe to be sound (although
it is not quite as precise as I would hope it to be). In general I am
quite busy these days but if you feel like implementing a more precise
version of this analysis feel free to do so - we would be happy to
include it in Soot.

Eric