adding test case; fix bugs: (1) latestWrites in GAW computing (2) BFS in applyRuleC