DegreesOfFreedomHeuristic
resolving conflict in State.java