diff --git a/src/storage/dft/DFTElements.h b/src/storage/dft/DFTElements.h
index b7fca51c0..747dfb611 100644
--- a/src/storage/dft/DFTElements.h
+++ b/src/storage/dft/DFTElements.h
@@ -119,6 +119,16 @@ namespace storm {
                 }
             }
 
+             bool hasOnlyStaticParents() const {
+                for(auto const& parent : parents) {
+                    if(!isStaticGateType(parents->type()) {
+                        return false;
+                    }
+                }
+                return true;
+            }
+
+            
             bool hasParents() const {
                 return !mParents.empty();
             }