code: public static <S1, I1, T1, SP, TP, S2, I2, T2> Mapping<S1, S2> copy(TSTraversalMethod method,
                                                                          UniversalTransitionSystem<S1, ? super I1, T1, ? extends SP, ? extends TP> in,
                                                                          int limit,
                                                                          Collection<? extends I1> inputs,
                                                                          MutableAutomaton<S2, I2, T2, ? super SP, ? super TP> out,
                                                                          Function<? super I1, ? extends I2> inputsMapping) {
          return copy(method, in, limit, inputs, out, inputsMapping, x -> true, TransitionPredicates.alwaysTrue());
      }
docs: Copies a {@link UniversalAutomaton} with possibly heterogeneous input alphabets, but compatible properties.
  States and transitions will not be filtered
  
  @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 inputsMapping
  a mapping from inputs in the input automaton to inputs in the output automaton
  
  @return a mapping from old to new states