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