diff --git a/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp b/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp
index 2f3b639bd..473522677 100644
--- a/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp
+++ b/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp
@@ -2350,7 +2350,7 @@ namespace storm {
                                 }
                                 
                                 void addStateBehaviour(IndexType const& stateId, StateBehaviour<IndexType, ValueType>& behaviour) {
-                                    if (behaviour.empty()) {
+                                    if (behaviour.empty() && behaviour.expanded()) {
                                         deadlockStates.push_back(stateId);
                                     }