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)