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