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