HashSet<Statement> () { cancellationManager.checkCanceled(); continueSet.clear(); for (Statement st : stats) { continueSet.addAll(st.buildContinueSet()); if (st != first) { continueSet.remove(st.getBasichead()); } } for (StatEdge edge : getEdges(EdgeType.CONTINUE, EdgeDirection.FORWARD)) { continueSet.add(edge.getDestination().getBasichead()); } if (type == StatementType.DO) { continueSet.remove(first.getBasichead()); } return continueSet; }