graph::computeSchedulerProb1E: Only set choices if they are not defined already.

src/storm/utility/graph.cpp

@@ -552,9 +552,11 @@ namespace storm {
                 // set an arbitrary (valid) choice for the psi states.
                 for (auto const& psiState : psiStates) {
                     for (uint_fast64_t memState = 0; memState < scheduler.getNumberOfMemoryStates(); ++memState) {
+                        if (!scheduler.getChoice(psiState, memState).isDefined()) {
                             scheduler.setChoice(0, psiState, memState);
                         }
                     }
+                }
                 
                 // Now perform a backwards search from the psi states and store choices with prob. 1
                 std::vector<uint_fast64_t> const& nondeterministicChoiceIndices = transitionMatrix.getRowGroupIndices();