diff --git a/prism/src/odd/ODDUtils.java b/prism/src/odd/ODDUtils.java
index c56fcd66..d149476a 100644
--- a/prism/src/odd/ODDUtils.java
+++ b/prism/src/odd/ODDUtils.java
@@ -74,6 +74,7 @@ public class ODDUtils
 		if (jdd.SanityJDD.enabled) {
 			// ODD construction requires the JDDVars to be in ascending order
 			jdd.SanityJDD.checkVarsAreSorted(vars);
+			jdd.SanityJDD.checkIsDDOverVars(dd, vars);
 		}
 
 		long res = ODD_BuildODD(dd.ptr(), vars.array(), vars.n());