let instrAEs il _sid lvh _out =
if !debug then Cilmsg.debug "instrAEs" ;
let proc_one hil i =
match hil with
[] -> let lvh' = LvExpHash.copy lvh in
let lvh'' = lvh_handle_inst i lvh' in
lvh''::hil
| lvh'::_ehrst as l ->
let lvh' = LvExpHash.copy lvh' in
let lvh'' = lvh_handle_inst i lvh' in
lvh''::l
in
let folded = List.fold_left proc_one [lvh] il in
let foldednotout = List.rev (List.tl folded) in
foldednotout