class SequenceFinder implements FactFinder {
  public SequenceFinder(Singletons.Global g) {
  }

  public static SequenceFinder v() {
    return G.v().soot_dava_toolkits_base_finders_SequenceFinder();
  }

  public void find(DavaBody body, AugmentedStmtGraph asg, SETNode SET) throws RetriggerAnalysisException {
    Dava.v().log("SequenceFinder::find()");

    SET.find_StatementSequences(this, body);
  }

  public void find_StatementSequences(SETNode SETParent, IterableSet body, HashSet<AugmentedStmt> childUnion,
      DavaBody davaBody) {<FILL_FUNCTION_BODY>}
}

    Iterator bit = body.iterator();
    while (bit.hasNext()) {
      AugmentedStmt as = (AugmentedStmt) bit.next();

      if (childUnion.contains(as)) {
        continue;
      }

      IterableSet sequenceBody = new IterableSet();

      while (as.bpreds.size() == 1) {
        AugmentedStmt pas = (AugmentedStmt) as.bpreds.get(0);
        if (!body.contains(pas) || childUnion.contains(pas)) {
          break;
        }

        as = pas;
      }

      while ((body.contains(as)) && !childUnion.contains(as)) {

        childUnion.add(as);
        sequenceBody.addLast(as);

        if (!as.bsuccs.isEmpty()) {
          as = (AugmentedStmt) as.bsuccs.get(0);
        }

        if (as.bpreds.size() != 1) {
          break;
        }
      }

      SETParent.add_Child(new SETStatementSequenceNode(sequenceBody, davaBody), SETParent.get_Body2ChildChain().get(body));
    }
  
<no_super_class>