val top_states : t -> state list
(** Give the list of top states of an ASTA *)
-val bot_states : t -> StateSet.t
-(** Give the list of bottom states of an ASTA *)
+val top_states_s : t -> StateSet.t
+(** Give the set of top states of an ASTA *)
+
+val bot_states_s : t -> StateSet.t
+(** Give the set of bottom states of an ASTA *)
val selec_states : t -> StateSet.t
(** Give the list of selecting states of an ASTA *)