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