diff --git a/prism/src/prism/ECComputerDefault.java b/prism/src/prism/ECComputerDefault.java
index 0799ebbd..5c385521 100644
--- a/prism/src/prism/ECComputerDefault.java
+++ b/prism/src/prism/ECComputerDefault.java
@@ -111,7 +111,7 @@ public class ECComputerDefault extends ECComputer
 				continue;
 			}
 
-			if (stableSet.equals(candidate) && JDD.GetNumMinterms(stableSet, allDDRowVars.n()) == 1) {
+			if (stableSet.equals(candidate) && JDD.isSingleton(stableSet, allDDRowVars)) {
 				mecs.add(candidate);
 				JDD.Deref(stableSet);
 				continue;