from pomdp to pmc now preserves state valuations

src/storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.cpp

@@ -122,6 +122,8 @@ namespace storm {
             }
             
             modelComponents.stateLabeling = pomdp.getStateLabeling();
+            modelComponents.stateValuations = pomdp.getOptionalStateValuations();
+
             
             return std::make_shared<storm::models::sparse::Dtmc<storm::RationalFunction>>(modelComponents);