code: public static <S1, I, T1, SP, TP, S2, T2> Mapping<S1, S2> copy(AutomatonCopyMethod method,
                                                                     UniversalAutomaton<S1, ? super I, T1, ? extends SP, ? extends TP> in,
                                                                     Collection<? extends I> inputs,
                                                                     MutableAutomaton<S2, I, T2, ? super SP, ? super TP> out,
                                                                     Predicate<? super S1> stateFilter,
                                                                     TransitionPredicate<? super S1, ? super I, ? super T1> transFilter) {
          return copy(method, in, inputs, out, i -> i, stateFilter, transFilter);
      }
docs: Copies a {@link UniversalAutomaton} with compatible input alphabets and properties.
  
  @param <S1>
  input automaton state type
  @param <I>
  input symbol type
  @param <T1>
  input automaton transition type
  @param <SP>
  state property type
  @param <TP>
  transition property type
  @param <S2>
  output automaton state type
  @param <T2>
  output automaton transition type
  @param method
  the copy method to use
  @param in
  the input automaton
  @param inputs
  the inputs to consider
  @param out
  the output automaton
  @param stateFilter
  the filter predicate for states
  @param transFilter
  the filter predicate for transitions
  
  @return a mapping from old to new states