let enclose_sequence = function
[i] -> i
| is ->
let is = List.flatten
(List.map
(fun i ->
match i.il0_t with
IL0stmtSequence is -> is
| _ -> [i]) is) in
make_il0 (IL0stmtSequence is)