diff --git a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/symbolic/fixpoint/BfsProvider.java b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/symbolic/fixpoint/BfsProvider.java
index 9e4927ae3d..89d802ace3 100644
--- a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/symbolic/fixpoint/BfsProvider.java
+++ b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/symbolic/fixpoint/BfsProvider.java
@@ -28,11 +28,8 @@ public MddHandle compute(
 		AbstractNextStateDescriptor nextStateRelation,
 		MddVariableHandle highestAffectedVariable
 	) {
-		
-		final MddHandle initialStates =
-			relProdProvider.compute(((MddGraph<Boolean>) variableOrder.getMddGraph()).getHandleFor(true,
-			highestAffectedVariable
-		), initializer, highestAffectedVariable);
+
+		final MddHandle initialStates = relProdProvider.compute(variableOrder.getMddGraph().getHandleForTop(), initializer, highestAffectedVariable);
 		
 		MddNode result;