Enhance MemDep: When alias analysis returns a partial alias result,