let
help =
"If set, does not simplify automata"