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