From 5a438991e2c337bc2e48588f9324214c502aff8b Mon Sep 17 00:00:00 2001
From: Jip Spel <jip.spel@cs.rwth-aachen.de>
Date: Mon, 8 Oct 2018 09:07:58 +0200
Subject: [PATCH] Delete lattice when assumption is not valid

---
 src/storm-pars/analysis/AssumptionMaker.cpp | 2 ++
 1 file changed, 2 insertions(+)

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));