sig
  val get_all_unstables : Core.automaton -> int list
  val stables : Core.automaton -> int -> string list
end