diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java
index 5033fa42..06d247e2 100644
--- a/prism/src/parser/ast/Property.java
+++ b/prism/src/parser/ast/Property.java
@@ -321,7 +321,7 @@ public class Property extends ASTElement
 				Expression expectedExpr = null;
 				try {
 					expectedExpr = Prism.parseSingleExpressionString(strExpected);
-					expectedExpr = (Expression) expectedExpr.findAllConstants(new ConstantList(constValues));
+					expectedExpr.findAllConstants(new ConstantList(constValues));
 					expectedExpr.typeCheck();
 					boolExp = expectedExpr.evaluateBoolean(constValues);
 					simple = false;  // complex expression
@@ -350,7 +350,7 @@ public class Property extends ASTElement
 				Expression expectedExpr = null;
 				try {
 					expectedExpr = Prism.parseSingleExpressionString(strExpected);
-					expectedExpr = (Expression) expectedExpr.findAllConstants(new ConstantList(constValues));
+					expectedExpr.findAllConstants(new ConstantList(constValues));
 					expectedExpr.typeCheck();
 					intExp = expectedExpr.evaluateInt(constValues);
 					simple = false;  // complex expression
@@ -393,7 +393,7 @@ public class Property extends ASTElement
 				Expression expectedExpr = null;
 				try {
 					expectedExpr = Prism.parseSingleExpressionString(strExpected);
-					expectedExpr = (Expression) expectedExpr.findAllConstants(new ConstantList(constValues));
+					expectedExpr.findAllConstants(new ConstantList(constValues));
 					expectedExpr.typeCheck();
 					doubleExp = expectedExpr.evaluateDouble(constValues);
 					simple = false;  // complex expression