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)