diff --git a/prism/src/prism/SCCComputer.java b/prism/src/prism/SCCComputer.java
index dce8e03b..02c12f8b 100644
--- a/prism/src/prism/SCCComputer.java
+++ b/prism/src/prism/SCCComputer.java
@@ -104,6 +104,11 @@ public abstract class SCCComputer extends PrismComponent
 		this.reach = reach;
 		this.allDDRowVars = allDDRowVars;
 		this.allDDColVars = allDDColVars;
+
+		if (jdd.SanityJDD.enabled) {
+			jdd.SanityJDD.checkIsDDOverVars(trans01, allDDRowVars, allDDColVars);
+			jdd.SanityJDD.checkIsDDOverVars(reach, allDDRowVars);
+		}
 	}
 
 	/**