method vstmt stm =
    match getRDs stm with
    | None ->
        if !debug then (Kernel.debug "rdVis: stm %d had no data\n" stm.sid);
        cur_rd_dat <- None;
        DoChildren
    | Some(_,s,iosh) ->
        match stm.skind with
          Instr il ->
            if !debug then (Kernel.debug "rdVis: visit il\n");
            rd_dat_lst <- instrRDs il stm.sid ((),s,iosh) false;
            DoChildren
        | _ ->
            if !debug then (Kernel.debug "rdVis: visit non-il\n");
            cur_rd_dat <- None;
            DoChildren