code: private void createNewState(AbstractBaseDTNode<I, D> newNode) {
          TTTTransition<I, D> newTreeTrans = newNode.getIncoming().choose();
          assert newTreeTrans != null;
  
          TTTState<I, D> newState = createState(newTreeTrans);
          link(newNode, newState);
          initializeState(newState);
      }
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