code: private void createNewState(DTNode<I> newNode) {
          LOGGER.debug("Create new state");
          AbstractHypTrans<I> newTreeTrans = newNode.getIncoming().chooseMinimal();
          assert newTreeTrans != null;
  
          HypLoc<I> newLoc = makeTree(newTreeTrans);
          link(newNode, newLoc);
          initializeLocation(newLoc);
      }
docs: Create a new state during extraction on-the-fly. This is required if a node in the DT has an incoming transition
  with a certain label, but in its subtree there are no leaves with this label as their state label.
  
  @param newNode
  the extracted node