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