added two missing includes and reenabled test

src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp

@@ -9,6 +9,7 @@
 #include "storm/logic/Formulas.h"
 #include "storm/solver/EigenLinearEquationSolver.h"
 #include "storm/models/sparse/StandardRewardModel.h"
+#include "storm/models/symbolic/StandardRewardModel.h"
 #include "storm/models/sparse/Dtmc.h"
 #include "storm/models/symbolic/Dtmc.h"
 #include "storm/modelchecker/prctl/SparseDtmcPrctlModelChecker.h"

src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp

@@ -10,6 +10,7 @@
 #include "storm/models/sparse/Mdp.h"
 #include "storm/models/symbolic/Mdp.h"
 #include "storm/models/sparse/StandardRewardModel.h"
+#include "storm/models/symbolic/StandardRewardModel.h"
 #include "storm/modelchecker/prctl/SparseMdpPrctlModelChecker.h"
 #include "storm/modelchecker/prctl/HybridMdpPrctlModelChecker.h"
 #include "storm/modelchecker/prctl/SymbolicMdpPrctlModelChecker.h"
@@ -290,7 +291,7 @@ namespace {
             HybridSylvanRationalPolicyIterationEnvironment,
             DdCuddDoubleValueIterationEnvironment,
             DdSylvanDoubleValueIterationEnvironment,
-   //         DdCuddDoublePolicyIterationEnvironment,
+            DdCuddDoublePolicyIterationEnvironment,
             DdSylvanRationalRationalSearchEnvironment
         > TestingTypes;