diff --git a/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp b/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp
index 101d21543..583468754 100644
--- a/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp
+++ b/src/storm/modelchecker/helper/infinitehorizon/internal/LraViHelper.cpp
@@ -485,7 +485,7 @@ namespace storm {
                 
                 template <typename ValueType, typename ComponentType, LraViTransitionsType TransitionsType>
                 bool LraViHelper<ValueType, ComponentType, TransitionsType>::nondetTs() const {
-                    return TransitionsType == LraViTransitionsType::NondetTsNoIs;
+                    return TransitionsType == LraViTransitionsType::NondetTsNoIs || gameNondetTs();
                 }
                 
                 template <typename ValueType, typename ComponentType, LraViTransitionsType TransitionsType>