let make_phi_assigns l =
  let rec iter = function
      [] -> []
    | (target, ty, from) :: tl ->
        make_il0 (IL0stmtDefTemp(target, ty, ILexpIdent from)) :: iter tl
  in
  enclose_parallel (iter l)