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