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