method vexpr e =
match e.enode with
Lval(Var vi', _off) ->
(match self#get_cur_iosh() with
Some iosh ->
let vido = RD.iosh_defId_find iosh defid in
let exists = match vido with Some _ -> true | None -> false in
if vi.vid = vi'.vid && exists
then (useList :=
(Extlib.the self#current_stmt)::(!useList); DoChildren)
else DoChildren
| _ -> Kernel.fatal "useLister: no data for statement")
| _ -> DoChildren