Adding Alias Analysis phases

Original fix by Peng Tu, I've tested stability and performance. No significant gains were observed, this may need some investigation in the future.