diff --git a/src/storage/dft/DFTState.cpp b/src/storage/dft/DFTState.cpp
index 98cada93a..e6e410760 100644
--- a/src/storage/dft/DFTState.cpp
+++ b/src/storage/dft/DFTState.cpp
@@ -83,7 +83,9 @@ namespace storm {
         {
             assert(index < mIsCurrentlyFailableBE.size());
             STORM_LOG_TRACE("currently failable: " << getCurrentlyFailableString());
-            std::pair<std::shared_ptr<DFTBE<ValueType>>,bool> res(mDft.getBasicElement(mIsCurrentlyFailableBE[index]), false);
+            // TODO set when implementing functional dependencies
+            bool dueToFdep = false;
+            std::pair<std::shared_ptr<DFTBE<ValueType>>,bool> res(mDft.getBasicElement(mIsCurrentlyFailableBE[index]), dueToFdep);
             mIsCurrentlyFailableBE.erase(mIsCurrentlyFailableBE.begin() + index);
             setFailed(res.first->id());
             return res;
diff --git a/src/storage/dft/DFTState.h b/src/storage/dft/DFTState.h
index 4f25550b0..b084e1a82 100644
--- a/src/storage/dft/DFTState.h
+++ b/src/storage/dft/DFTState.h
@@ -107,6 +107,11 @@ namespace storm {
                 return mIsCurrentlyFailableBE.size();
             }
 
+            /**
+             * Sets the next BE as failed
+             * @param smallestIndex Index in currentlyFailableBE of BE to fail
+             * @return Pair of BE which fails and flag indicating if the failure was due to functional dependencies
+             */
             std::pair<std::shared_ptr<DFTBE<ValueType>>, bool> letNextBEFail(size_t smallestIndex = 0);
             
             std::string getCurrentlyFailableString() {