code: public static <S1, I, T1, S2, T2, SP2, TP2> Mapping<S1, S2> rawCopy(TSTraversalMethod method,
                                                                          TransitionSystem<S1, ? super I, T1> in,
                                                                          int limit,
                                                                          Collection<? extends I> inputs,
                                                                          MutableAutomaton<S2, I, T2, SP2, TP2> out,
                                                                          Function<? super S1, ? extends SP2> spMapping,
                                                                          Function<? super T1, ? extends TP2> tpMapping,
                                                                          Predicate<? super S1> stateFilter,
                                                                          TransitionPredicate<? super S1, ? super I, ? super T1> transFilter) {
          return rawCopy(method,
                         in,
                         limit,
                         inputs,
                         out,
                         Function.identity(),
                         spMapping,
                         tpMapping,
                         stateFilter,
                         transFilter);
      }
docs: Copies an {@link Automaton} to a {@link MutableAutomaton} with a compatible input alphabet, but possibly
  heterogeneous state and transition properties.
  
  @param method
  the traversal method to use
  @param in
  the input transition system
  @param limit
  the traversal limit, a value less than 0 means no limit
  @param inputs
  the inputs to consider
  @param out
  the output automaton
  @param spMapping
  the function for obtaining state properties
  @param tpMapping
  the function for obtaining transition properties
  @param stateFilter
  the filter predicate for states
  @param transFilter
  the filter predicate for transitions
  
  @return a mapping from old to new states