fact: Definition statesetset_map f t := StateSetSet.fold (fun x acc => StateSetSet.add (f x) acc) t StateSetSet.empty.
imports: ATBR(Utils_WF) ATBR(DisjointSets) ATBR(DKA_Definitions) ATBR(MyFSets) ATBR(MyFSetProperties) ATBR(MyFMapProperties) ATBR(Common)