(1) reset flag isCovered in propagation
(2) visualization for GlobalActiveWritesMap