docs: public static MigrationModel create(ComponentTransformator transformator) throws InvalidSequenceException {
  	MigrationModel model = new MigrationModel(transformator);
  	if (DeadEndAnalyzer.hasDeadEnds(model, model.getStartState(), model.getEndStates())) {
  	    throw new InvalidSequenceException(
  		    "There are dead ends in the model which do not allow to migrate to latest version.");
  	}
  	if (CycleAnalyzer.hasCycles(model, model.getStartState(), true)) {
  	    throw new InvalidSequenceException(
  		    "There are cycles in the model which do not allow to migrate sequentially.");
  	}
  	if (SubgraphAnalyzer.hasDisconnectedSubgraph(model)) {
  	    throw new InvalidSequenceException(
  		    "There are disconnected versions in the model which cannot be a migration target.");
  	}
  	return model;
      }