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