docs: public void process(SearchDistributor distributor) {
          List<PossibleState> bootStrap;
          try {
              bootStrap = bfs(bootStrapMin);
          } catch (ModelException e) {
              bootStrap = new LinkedList<>();
          }
  
          List<Frontier> frontiers = new LinkedList<>();
          for (PossibleState p : bootStrap) {
              SCXMLFrontier dge = new SCXMLFrontier(p, model, tagExtensionList);
              frontiers.add(dge);
          }
  
          distributor.distribute(frontiers);
      }