let rec compile_transition_targets targs transition_name env = match targs with
    cur::rest -> 
      let cur_result, cur_env, targ_id = compile_transition_target cur transition_name env in 
      let rest_result, rest_env, targ_ids = compile_transition_targets rest transition_name cur_env in
        cur_result @ rest_result, rest_env, targ_id::targ_ids
  | [] -> [], env, []