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