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