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