diff --git a/src/storm-pars/analysis/AssumptionMaker.cpp b/src/storm-pars/analysis/AssumptionMaker.cpp
index 9e95a0392..deb3913cd 100644
--- a/src/storm-pars/analysis/AssumptionMaker.cpp
+++ b/src/storm-pars/analysis/AssumptionMaker.cpp
@@ -96,6 +96,8 @@ namespace storm {
                         assumptions.push_back(
                                 std::shared_ptr<storm::expressions::BinaryRelationExpression>(assumption));
                         result = (runRecursive(lattice, assumptions));
+                    } else if (assumptionChecker->validated(assumption) && !assumptionChecker->valid(assumption)) {
+                        delete lattice;
                     }
                 } else {
                     assumptions.push_back(std::shared_ptr<storm::expressions::BinaryRelationExpression>(assumption));