ControlFlowGraph

constructor(entryNodes: Set<Int>, exitNodes: Set<Int>, graph: Graph<Int, DefaultEdge>)