method vexpr e =
    let u = UD.computeUseExp e in
    match self#get_cur_iosh() with
      Some(iosh) -> self#add_defids iosh e u; DoChildren
    | None ->
        if !debug then Cilmsg.debug "DCE: use but no rd data: %a\n" d_plainexp e;
        DoChildren