diff --git a/include/mata/nft/types.hh b/include/mata/nft/types.hh
index 494b46c7a..f90470cc0 100644
--- a/include/mata/nft/types.hh
+++ b/include/mata/nft/types.hh
@@ -50,7 +50,7 @@ constexpr Symbol EPSILON = mata::nfa::EPSILON;
 constexpr Symbol DONT_CARE = EPSILON - 1;
 
 constexpr Level DEFAULT_LEVEL{ 0 };
-constexpr Level DEFAULT_NUM_OF_LEVELS{ 1 };
+constexpr Level DEFAULT_NUM_OF_LEVELS{ 2 };
 
 } // namespace mata::nft.