public HashSet<Statement> buildContinueSet() {
    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;
  }
public HashSet<Statement> buildContinueSet()