let cleanup_state_names (states,trans) =
  let assoc = List.map (fun state -> state, cleanup_name state) states in
  let sync_trans tr =
    { tr with
      start = List.assq tr.start assoc;
      stop = List.assq tr.stop assoc }
  in
  let trans = List.map sync_trans trans in
  let states = snd (List.split assoc) in
  (states,trans)