block.setAllParent(); loop.addSuccessor(new StatEdge(StatEdge.TYPE_REGULAR, loop, target));
edge.closure = stat.getParent(); stat.addSuccessor(edge);
ifedge.closure = stat.getParent(); stat.addSuccessor(ifedge); elseedge.closure = stat.getParent(); stat.addSuccessor(elseedge);
block.setAllParent(); loop.addSuccessor(new StatEdge(StatEdge.TYPE_REGULAR, loop, target));
edge.closure = stat.getParent(); stat.addSuccessor(edge);
ifedge.closure = stat.getParent(); stat.addSuccessor(ifedge); elseedge.closure = stat.getParent(); stat.addSuccessor(elseedge);