Adding Alias Analysis phases