Class ExplodedInterproceduralCFG