If you have two tasks x and y, with y being a successor to x, if we mark x as undone (because it needs to be redone for some reason), then y will also need to be redone, as it might use the results of x.
To implement this, we will endow our scheduler with a redo method, which marks a task and any tasks that depend on it to be redone.