Class AbstractCFG<I,​T extends IBasicBlock<I>>