let descr = "if set, does not axiomatize automata"