From 871efc0d8c5bba09e1a412923751eb087d25d315 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 14 Apr 2021 16:30:13 +0200
Subject: [PATCH] Fixed TerminalStatesGetter with multi-bounded formulae.

---
 src/storm/builder/TerminalStatesGetter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/builder/TerminalStatesGetter.cpp b/src/storm/builder/TerminalStatesGetter.cpp
index 16779b8d9..9571c8102 100644
--- a/src/storm/builder/TerminalStatesGetter.cpp
+++ b/src/storm/builder/TerminalStatesGetter.cpp
@@ -26,7 +26,7 @@ namespace storm {
                 } else if (left.isAtomicLabelFormula()) {
                     terminalLabelCallback(left.asAtomicLabelFormula().getLabel(), false);
                 }
-            } else if (formula.isBoundedUntilFormula()) {
+            } else if (formula.isBoundedUntilFormula() && !formula.asBoundedUntilFormula().hasMultiDimensionalSubformulas()) {
                 storm::logic::BoundedUntilFormula const& boundedUntil = formula.asBoundedUntilFormula();
                 bool hasLowerBound = false;
                 for (uint64_t i = 0; i < boundedUntil.getDimension(); ++i) {