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