let make_enum_states () =
let state_list =fst (Data_for_aorai.getAutomata()) in
let enum =
mk_global_c_enum_type_tagged states
(List.map
(fun x -> (x.Promelaast.name, x.Promelaast.nums)) state_list)
in
let mapping =
List.map
(fun x ->
let item =
List.find (fun y -> y.einame = x.Promelaast.name) enum.eitems
in
(x.nums, item)) state_list
in set_enum mapping