ostrich.automata
Facade for _ProductAutomaton that just returns the automaton if only one is given, else products the given automata
Facade for _ProductAutomaton that just returns the automaton if only one is given, else products the given automata