diff --git a/prism/src/parser/visitor/ConvertForJltl2ba.java b/prism/src/parser/visitor/ConvertForJltl2ba.java
index 7c667191..7f967b24 100644
--- a/prism/src/parser/visitor/ConvertForJltl2ba.java
+++ b/prism/src/parser/visitor/ConvertForJltl2ba.java
@@ -124,6 +124,9 @@ public class ConvertForJltl2ba
 		Expression until;
 		if (e.getOperand1() != null) ltl1 = convert(e.getOperand1());
 		if (e.getOperand2() != null) ltl2 = convert(e.getOperand2());
+		if (e.hasBounds()) {
+			throw new PrismLangException("Can not convert expression with temporal bounds to SimpleLTL: " + e);
+		}
 		switch (e.getOperator()) {
 		case ExpressionTemporal.P_X:
 			res = new SimpleLTL(SimpleLTL.LTLType.NEXT, ltl2);