Add basic alias analysis for object