symbolic StateModelChecker: deref filter if the recursive checkExpression call throws an exception

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10510 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/StateModelChecker.java

@@ -1058,8 +1058,13 @@ public class StateModelChecker implements ModelChecker
 			currentFilter = null;
 		}
 
-		// Check operand recursively
-		vals = checkExpression(expr.getOperand());
+		try {
+			// Check operand recursively
+			vals = checkExpression(expr.getOperand());
+		} catch (PrismException e) {
+			JDD.Deref(ddFilter);
+			throw e;
+		}
 
 		// Print out number of states satisfying filter
 		if (!filterInit)