let new_trans_list_id () = 
  let cur = !next_transition_list in
    incr next_transition_list;
    cur