↓ 2 callersMethodinsertTrivialPhiNodesPhi node Insertion Algorithm from Cytron et al 91, P24-5, <p>Special Java case: If a variable is not defined along all paths of entry to a node, a Ph
ded/soot/soot-2.3.0/src/soot/shimple/internal/PhiNodeManager.java:69