sig val add_rule : Core.automaton -> string -> unit val is_rule : Core.automaton -> Core.state list -> bool val ix_to_rule : int -> string end