Class ExplodedControlFlowGraph