method add_defids iosh e u =
    UD.VS.iter (fun vi ->
      if IH.mem iosh vi.vid then
        let ios = IH.find iosh vi.vid in
        if !debug then (Cilmsg.debug "DCE: IOS size for vname=%s at stmt=%d: %d\n"
                                vi.vname
                                sid (RD.IOS.cardinal ios));
        RD.IOS.iter (function
            Some(i) ->
              if !debug then Cilmsg.debug "DCE: def %d used: %a\n" i d_plainexp e;
              usedDefsSet := IS.add i (!usedDefsSet)
          | None -> ()) ios
      else if !debug then Cilmsg.debug "DCE: vid %d:%s not in stm:%d iosh at %a\n"
                                   vi.vid vi.vname
                                   sid d_plainexp e) u