code: public static <I> DefaultOneSEVPA<I> minimize(OneSEVPA<?, I> sevpa, VPDAlphabet<I> alphabet) {
          return OneSEVPAMinimizer.minimize(sevpa, alphabet);
      }
docs: Minimizes the given SEVPA over the given alphabet. This method does not modify the given SEVPA, but returns the
  minimized version as a new instance. <b>Note:</b> the SEVPA must be completely specified.
  
  @param sevpa
  the SEVPA to be minimized
  @param alphabet
  the input alphabet to consider for minimization (this will also be the input alphabet of the resulting
  automaton)
  
  @return a minimized version of the specified SEVPA