let doStmt (s: stmt) (_d: t) = if not (Db.Value.is_reachable (Values_To_Use.get_state (Kstmt s))) then Dataflow.SDone else begin current_stmt := Kstmt s; Dataflow.SDefault end