let doInstr _ i _vs = let transform vs' = let u,d = UD.computeUseDefInstr i in VS.union u (VS.diff vs' d) in DF.Post transform