minimize

fun minimize(a: Automaton, determinizeWorkLimit: Int): Automaton