diff --git a/src/storm-pars/analysis/AssumptionChecker.cpp b/src/storm-pars/analysis/AssumptionChecker.cpp
index ac6b202ae..b8cfd9d19 100644
--- a/src/storm-pars/analysis/AssumptionChecker.cpp
+++ b/src/storm-pars/analysis/AssumptionChecker.cpp
@@ -258,7 +258,7 @@ namespace storm {
                 storm::expressions::Expression exprBounds = manager->boolean(true);
                 auto variables = manager->getVariables();
                 for (auto var : variables) {
-                    exprBounds = exprBounds && var >= 0 && var <= 1;
+                    exprBounds = exprBounds && var > 0 && var < 1;
                 }
 
                 s.add(exprGiven);
@@ -335,7 +335,7 @@ namespace storm {
 
                 auto variables = manager->getVariables();
                 for (auto var : variables) {
-                    exprBounds = exprBounds && var >= 0 && var <= 1;
+                    exprBounds = exprBounds && var > 0 && var < 1;
                 }
 
                 s.add(exprGiven);