Adding Alias Analysis phases
correction of checking tools in testing environment
Merge pull request #700 from ifilippov/alloy

Correction of checking tools in testing environment
Adding some optimization passes between two Alias Analysis passes
Merge pull request #701 from ifilippov/alias_new

Adding Alias Analysis passes