added example of alias analysis