fix: ReadIncChecker.java: (w' \in W) => (w' \in W \land w'.DONE = false)