Class InterproceduralCFG