Started writing alias analysis