method vstmt s =
let _,d = if IH.mem udDeepSkindHtbl s.sid
then IH.find udDeepSkindHtbl s.sid
else let u',d' = UD.computeDeepUseDefStmtKind s.skind in
IH.add udDeepSkindHtbl s.sid (u',d');
(u',d') in
fdefs := UD.VS.union !fdefs d;
DoChildren