let doStmt stm (_, _s, iosh) =
if not(Inthash.mem sidStmtHash stm.sid) then
Inthash.add sidStmtHash stm.sid stm;
if !debug then Cilmsg.debug "RD: looking at %a\n" d_stmt stm;
match L.getLiveSet stm.sid with
| None -> DF.SDefault
| Some vs -> begin
iosh_filter_dead iosh vs;
DF.SDefault
end