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)