method vinst i =
if !debug then Kernel.debug "aeVist: before %a, ae_dat_lst is %d long"
d_instr i (List.length ae_dat_lst);
try
let data = List.hd ae_dat_lst in
cur_ae_dat <- Some(data);
ae_dat_lst <- List.tl ae_dat_lst;
if !debug then Kernel.debug "aeVisit: data is %a" lvh_pretty data;
DoChildren
with Failure "hd" ->
if !debug then Kernel.debug "aeVis: il ae_dat_lst mismatch";
DoChildren