}
@Override
public Cfg getNewSubgraph() {
Cfg newSubgraph = new Cfg();
CfgNode<?> newNode = new CfgNopNode(node.getParent(), node.getJNode());
newSubgraph.addNode(newNode);
// Add all incoming edges.
for (int i = 0; i < graph.getInEdges(node).size(); ++i) {
CfgEdge edge = new CfgEdge();