let new_trans_list () : trans_list =
  let cur = !next_transition_list in
    incr next_transition_list;
    (cur, [])