(1) On exit of a method if a parameter a.c.c is propagated out, we need to ask for aliases of a, and a.c!
(2) Never propagate into the callee if we ask at a call site of a method