Cleaning up: checking source code for (potential) bugs.

diff --cc src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java
index 7cfab4d541b99d03572874320c5d161f487c9616,ebc903e17439e9c8877702a0bf892146985ac003..1de182034a014e31d77f6780f2052943ae1747b8
--- 1/src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java
--- 2/src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java
+++ b/src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java
@@@ -1069,8 -1067,8 +1069,7 @@@ public class DPORStateReducerWithSummar
      ArrayList<TransitionEvent> conflictTrace = conflictExecution.getExecutionTrace();
      HashMap<Integer, ReadWriteSet> confRWFieldsMap = conflictExecution.getReadWriteFieldsMap();
      // Skip if this event does not have any Read/Write set or the two events are basically the same event (number)
--    if (!confRWFieldsMap.containsKey(conflictChoice) ||
-             eventChoice == conflictTrace.get(conflictChoice).getChoice()) {
 -            reachableEvent == conflictTrace.get(conflictChoice).getChoice()) {
++    if (!confRWFieldsMap.containsKey(conflictChoice) || eventChoice == conflictTrace.get(conflictChoice).getChoice()) {
        return false;
      }
      // R/W set of choice/event that may have a potential conflict