Add reduction verifier

Tag missing alias pointers by adding metadata;
Verify that the checked aa still reports no alias after reduction.