Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

diff --cc src/main/gov/nasa/jpf/listener/DPORStateReducer.java
index 8531e2cc4db5c1588ba3db63204858786fae26f8,e613f09fb15609ebc3f45e9f337351dbc1a80e06..7d5546c2be70d4028d79069dce39edb81b6cbb85
--- 1/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
--- 2/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
+++ b/src/main/gov/nasa/jpf/listener/DPORStateReducer.java
@@@ -599,9 -592,10 +599,9 @@@ public class DPORStateReducer extends L
      // Get the backtrack CG for this backtrack point
      int stateId = backtrackPointList.get(confEvtNum).getStateId();
      // Check if this trace has been done starting from this state
-     if (isTraceConstructed(newChoiceList, stateId)) {
+     if (isTraceAlreadyConstructed(newChoiceList, stateId)) {
        return;
      }
 -    //BacktrackPoint backtrackPoint = new BacktrackPoint(backtrackCG, newChoiceList);
      addNewBacktrackPoint(stateId, newChoiceList);
    }