ReadIncOperation Class: "cycle detection" in apply_wprimew_order method

[hengxin]

Subject: cycle detection

1. update of LatestWriteMap
   • in computing intervals
   • in reschedule (propagation)
   • visualization
2. cycle detection in apply_wprimew_order method
3. example in which cycle emerges