Small change in simulator path initialisation.

The current order of initialisation events breaks PRISM-games.

Author: davexparker

prism/src/simulator/SimulatorEngine.java

@@ -302,11 +302,12 @@ public void initialisePath(State initialState) throws PrismException
 				throw new PrismNotSupportedException("Random choice of multiple initial states not yet supported");
 			}
 		}
-		// Start model exploration and get initial state reward
-		computeTransitionsForState(currentState);
+		// Get initial state reward
 		calculateStateRewards(currentState, tmpStateRewards);
 		// Initialise stored path
 		path.initialise(currentState, tmpStateRewards);
+		// Explore initial state in model generator
+		computeTransitionsForState(currentState);
 		// Reset and then update samplers for any loaded properties
 		resetSamplers();
 		updateSamplers();