let rec separate_sequence acc = function
    [] -> 
      if acc = [] then []
      else [make_il0 (IL0stmtParallel (List.rev acc))]
  | e::tl ->
      if e.il0_nobranch then
        separate_sequence (e::acc) tl
      else
        if acc = [] then
          e :: separate_sequence [] tl
        else
          make_il0 (IL0stmtParallel (List.rev acc))
          :: e :: separate_sequence [] tl