#listener=gov.nasa.jpf.listener.StateReducer
#listener=gov.nasa.jpf.listener.StateReducerOld
#listener=gov.nasa.jpf.listener.VariableConflictTracker,gov.nasa.jpf.listener.StateReducer
-listener=gov.nasa.jpf.listener.ConflictTrackerOld
+#listener=gov.nasa.jpf.listener.ConflictTrackerOld
#listener=gov.nasa.jpf.listener.DPORStateReducer
-#listener=gov.nasa.jpf.listener.DPORStateReducer,gov.nasa.jpf.listener.ConflictTrackerOld
+listener=gov.nasa.jpf.listener.DPORStateReducer,gov.nasa.jpf.listener.ConflictTrackerOld
# Potentially conflicting variables
# Alarms
#variables=colorChanged,currentHue,currentSaturation,currentLevel,currentSwitch,colorTemperature
# Dimmers
#variables=currentSwitch,currentLevel
-# Speeches
+# Speech Synthesizers
#variables=level,oneUser
# Music players
#variables=status,duration,level,trackDescription,trackData,mute
-# Relay switch
+# Relay switches
#variables=currentSwitch
# Valves
#variables=valve,valveLatestValue