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