Adding some optimization passes between two Alias Analysis passes