diff --git a/src/storage/dft/DFT.cpp b/src/storage/dft/DFT.cpp
index 890e2de25..4d6e88d0f 100644
--- a/src/storage/dft/DFT.cpp
+++ b/src/storage/dft/DFT.cpp
@@ -461,7 +461,7 @@ namespace storm {
                                rewrite.push_back(isdElemId);
                            }
                        }
-                       if(rewrite.size() > 2) {
+                       if(rewrite.size() > 2 && rewrite.size() < e->children().size() - 1) {
                            return rewrite;
                        }