let doInstr _ inst (_, _s, _iosh) =
let transform (_, s', iosh') =
let _, defd = UD.computeUseDefInstr inst in
proc_defs defd iosh' (idMaker () s');
((), s' + UD.VS.cardinal defd, iosh')
in
DF.Post transform