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