diff --git a/prism/src/parser/ast/ExpressionProb.java b/prism/src/parser/ast/ExpressionProb.java
index c3032c47..a01c1440 100644
--- a/prism/src/parser/ast/ExpressionProb.java
+++ b/prism/src/parser/ast/ExpressionProb.java
@@ -26,6 +26,7 @@
 
 package parser.ast;
 
+import explicit.MinMax;
 import param.BigRational;
 import parser.EvaluateContext;
 import parser.Values;
@@ -48,6 +49,14 @@ public class ExpressionProb extends ExpressionQuant
 		setBound(p);
 	}
 
+	public ExpressionProb(Expression expression, MinMax minMax, String relOpString, Expression p) throws PrismLangException
+	{
+		setExpression(expression);
+		setMinMax(minMax);
+		setRelOp(relOpString);
+		setBound(p);
+	}
+
 	// Set methods
 
 	/**
diff --git a/prism/src/parser/ast/ExpressionReward.java b/prism/src/parser/ast/ExpressionReward.java
index 4d59c5d9..34f95687 100644
--- a/prism/src/parser/ast/ExpressionReward.java
+++ b/prism/src/parser/ast/ExpressionReward.java
@@ -26,6 +26,7 @@
 
 package parser.ast;
 
+import explicit.MinMax;
 import param.BigRational;
 import parser.EvaluateContext;
 import parser.Values;
@@ -53,6 +54,14 @@ public class ExpressionReward extends ExpressionQuant
 		setBound(r);
 	}
 
+	public ExpressionReward(Expression expression, MinMax minMax, String relOpString, Expression r) throws PrismLangException
+	{
+		setExpression(expression);
+		setMinMax(minMax);
+		setRelOp(relOpString);
+		setBound(r);
+	}
+
 	// Set methods
 	
 	public void setRewardStructIndex(Object o)