Bug fix:
(1) Operation(ReadIncOperation)#precedence and #successor: using Set instead of List to avoid repetition 
(2) ReadIncChecker#check_part: if no other WRITEs than D(R) itself, then no reschedule at all. Adding an "if" before #readFromDW and #reschedule to avoid unnecessary work