diff --git a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
index 3b50c9098..0ed94401d 100644
--- a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
+++ b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
@@ -619,7 +619,8 @@ namespace storm {
             // Count dependent events
             for (size_t i = 0; i < dft.nrElements(); ++i) {
                 std::shared_ptr<storm::storage::DFTElement<ValueType> const> element = dft.getElement(i);
-                if (element->type() == storm::storage::DFTElementType::BE) {
+                if (element->type() == storm::storage::DFTElementType::BE_EXP ||
+                    element->type() == storm::storage::DFTElementType::BE_CONST) {
                     auto be = std::static_pointer_cast<storm::storage::DFTBE<double> const>(element);
                     if (be->hasIngoingDependencies()) {
                         ++nrDepEvents;