Adding Alias Analysis passes