(** Give the list of states and formulae from queries and recognizing
transitions for a given tag *)
+val transitions_st_lab : t -> state -> QName.t -> formula list * formula list
+(** Give the list of formulae from queries and recognizing transitions for a
+ given state and tag *)
+
val empty : t
(** The empty automaton *)