let computeFirstPredecessor stm (_, s, iosh) =
      let startDefId = max !nextDefId s in
      let numds = num_defs stm in
      let rec loop n =
        if n < 0
        then ()
        else
          (Cilmsg.debug "RD: defId %d -> stm %d\n" (startDefId + n) stm.sid ;
           Inthash.add defIdStmtHash (startDefId + n) stm;
           loop (n-1))
      in
      loop (numds - 1);
      nextDefId := startDefId + numds;
      ((), startDefId, Inthash.copy iosh)