Generalize some alias analysis logic from atomic