param.JasFunction.isConstant: actually return true for 0

The jas library returns false for the zero function...


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

prism/src/param/JasFunction.java

@@ -351,6 +351,12 @@ final class JasFunction extends Function {
 		if (type != NORMAL)
 			return true;
 
+		// special handling for ZERO, as jas.isConstant() returns false
+		// for zero...
+		if (jas.isZERO()) {
+			return true;
+		}
+
 		return jas.isConstant();
 	}