diff --git a/prism/src/prism/NondetModel.java b/prism/src/prism/NondetModel.java
index 35923a2a..2b2e03f6 100644
--- a/prism/src/prism/NondetModel.java
+++ b/prism/src/prism/NondetModel.java
@@ -207,17 +207,11 @@ public class NondetModel extends ProbModel
 		tmp = JDD.MaxAbstract(trans01, allDDNondetVars);
 
 		// compute reachable states
-		reach = PrismMTBDD.Reachability(tmp, allDDRowVars, allDDColVars, start);
+		JDDNode reachable = PrismMTBDD.Reachability(tmp, allDDRowVars, allDDColVars, start);
 		JDD.Deref(tmp);
 
-		// work out number of reachable states
-		numStates = JDD.GetNumMinterms(reach, allDDRowVars.n());
-
-		// build odd, clear old one
-		if (odd != null) {
-			ODDUtils.ClearODD(odd);
-		}
-		odd = ODDUtils.BuildODD(reach, allDDRowVars);
+		// set the reachable states, compute numStates, create the ODD, etc
+		setReach(reachable);
 	}
 
 	// remove non-reachable states from various dds