Class AbstractInterproceduralCFG<T extends ISSABasicBlock>