1. When we compute the aliases for e with a parent p
(i.e., the expression is p.e), first we compute p’s aliases
A(p), and then we collect information about A(p),
such as types for A(p) and OC(A(p)).
After computing these, we compute e’s aliases.
2. When we reach an terminal node in AFG during
the AFG traversal, we determine the callee or caller
method usingMFG and the object context, and resume
the traversal from the corresponding terminal nodes.