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