val finalize : t -> auto
(** Finalize the automaton and return it. Clean-up unused states
(states that do not occur in any transitions and remove
val finalize : t -> auto
(** Finalize the automaton and return it. Clean-up unused states
(states that do not occur in any transitions and remove