[BasicAA] Revert r221876 because it can produce incorrect aliasing