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