diff --git a/src/storm/storage/prism/Program.cpp b/src/storm/storage/prism/Program.cpp
index 9a4132420..edd17c3d0 100644
--- a/src/storm/storage/prism/Program.cpp
+++ b/src/storm/storage/prism/Program.cpp
@@ -247,13 +247,7 @@ namespace storm {
                 }
             }
             
-            // Then check the formulas.
-            for (auto const& formula : this->getFormulas()) {
-                if (formula.getExpression().containsVariable(undefinedConstantVariables)) {
-                    return false;
-                }
-            }
-            
+
             // Proceed by checking each of the modules.
             for (auto const& module : this->getModules()) {
                 if (!module.containsVariablesOnlyInUpdateProbabilities(undefinedConstantVariables)) {