enhancement of reschedule procedure: merge w.DONE = false into the outer condition statement: w is not null and w is in D(r)-downset, and w.DONE = false