method vstmt stm =
match getAEs stm with
| None ->
if !debug then Kernel.debug "aeVis: stm %d has no data" stm.sid ;
cur_ae_dat <- None;
DoChildren
| Some eh ->
match stm.skind with
Instr il ->
if !debug then Kernel.debug "aeVist: visit il" ;
ae_dat_lst <- time "instrAEs" (instrAEs [il] stm.sid eh) false;
DoChildren
| _ ->
if !debug then Kernel.debug "aeVisit: visit non-il" ;
cur_ae_dat <- None;
DoChildren