focusing on testcase "Fig7", reviewing code, and fixing the following bugs:
(1) In compute_globalActiveWritesMap() method, dealing with rr_interval first and then with ww_interval
(2) in dealing with ww_interval, differentiate two reasons for deactivating WRITEs and adopt last_wriop_map
(3) fix GlobalActiveWritesMap: using Set instead of ArrayList to avoid duplication
(4) fix GlobalActiveWritesMap: deactivateFrom() method, adding another argument (variable)