let doStmt (s: stmt) (_d: t) = if not (Db.Value.is_reachable (Values_To_Use.get_stmt_state s)) then Dataflow.SDone else Dataflow.SDefault