Automaton::minimize() added