code: @Override
      protected void checkTransitions(StreamTokenizer streamTokenizer) {
          // Only if no states are defined we add all from the transitions we found.
          // This is necessary because states are not necessarily defined in FSMs.
          if (states.isEmpty()) {
              transitions.keySet().forEach(e -> states.put(e.getFirst(), true));
          }
      }
docs: Do nothing.