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)