updates to alias analysis