Embed alias analysis into reduction verifier