diff --git a/test/functional/abstraction/PrismMenuGameTest.cpp b/test/functional/abstraction/PrismMenuGameTest.cpp
index 43ef849cd..246d8a167 100644
--- a/test/functional/abstraction/PrismMenuGameTest.cpp
+++ b/test/functional/abstraction/PrismMenuGameTest.cpp
@@ -595,7 +595,7 @@ TEST(PrismMenuGame, WlanAbstractionTest_Cudd) {
     
     storm::abstraction::MenuGame<storm::dd::DdType::CUDD, double> game = abstractProgram.getAbstractGame();
     
-    EXPECT_EQ(283, game.getNumberOfTransitions());
+    EXPECT_EQ(275, game.getNumberOfTransitions());
     EXPECT_EQ(4, game.getNumberOfStates());
     EXPECT_EQ(4, game.getBottomStates().getNonZeroCount());
 }
@@ -616,7 +616,7 @@ TEST(PrismMenuGame, WlanAbstractionTest_Sylvan) {
     
     storm::abstraction::MenuGame<storm::dd::DdType::Sylvan, double> game = abstractProgram.getAbstractGame();
     
-    EXPECT_EQ(283, game.getNumberOfTransitions());
+    EXPECT_EQ(275, game.getNumberOfTransitions());
     EXPECT_EQ(4, game.getNumberOfStates());
     EXPECT_EQ(4, game.getBottomStates().getNonZeroCount());
 }
@@ -639,7 +639,7 @@ TEST(PrismMenuGame, WlanAbstractionAndRefinementTest_Cudd) {
 
     storm::abstraction::MenuGame<storm::dd::DdType::CUDD, double> game = abstractProgram.getAbstractGame();
 
-    EXPECT_EQ(568, game.getNumberOfTransitions());
+    EXPECT_EQ(552, game.getNumberOfTransitions());
     EXPECT_EQ(8, game.getNumberOfStates());
     EXPECT_EQ(8, game.getBottomStates().getNonZeroCount());
 }
@@ -662,7 +662,7 @@ TEST(PrismMenuGame, WlanAbstractionAndRefinementTest_Sylvan) {
     
     storm::abstraction::MenuGame<storm::dd::DdType::Sylvan, double> game = abstractProgram.getAbstractGame();
     
-    EXPECT_EQ(568, game.getNumberOfTransitions());
+    EXPECT_EQ(552, game.getNumberOfTransitions());
     EXPECT_EQ(8, game.getNumberOfStates());
     EXPECT_EQ(8, game.getBottomStates().getNonZeroCount());
 }