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 (Kernel.debug "DCE: IOS size for vname=%s at stmt=%d: %d\n"
                                vi.vname
                                (Extlib.the self#current_stmt).sid
                                (RD.IOS.cardinal ios));
        RD.IOS.iter (function
            Some(i) ->
              if !debug then Kernel.debug "DCE: def %d used: %a\n" i d_plainexp e;
              usedDefsSet := IS.add i (!usedDefsSet)
          | None -> ()) ios
      else if !debug then Kernel.debug "DCE: vid %d:%s not in stm:%d iosh at %a\n"
                                   vi.vid vi.vname
                                   (Extlib.the self#current_stmt).sid
                                   d_plainexp e
               ) u