Patch soot/shimple/internal/PhiNodeManager.java