Assert that dependent events are BEs

src/storm-dft/storage/dft/DFTBuilder.cpp

@@ -46,7 +46,7 @@ namespace storm {
                     auto itFind = mElements.find(childName);
                     STORM_LOG_ASSERT(itFind != mElements.end(), "Child not found.");
                     DFTElementPointer childElement = itFind->second;
-                    STORM_LOG_ASSERT(!childElement->isDependency() && !childElement->isRestriction(), "Child has invalid type.");
+                    STORM_LOG_ASSERT(!childElement->isDependency() && !childElement->isRestriction(), "Child '" << childElement->name() << "' has invalid type.");
                     elem.first->pushBackChild(childElement);
                     childElement->addRestriction(elem.first);
                 }
@@ -60,6 +60,7 @@ namespace storm {
                     STORM_LOG_ASSERT(itFind != mElements.end(), "Child '" << childName << "' not found");
                     DFTElementPointer childElement = itFind->second;
                     if (!first) {
+                        STORM_LOG_ASSERT(childElement->isBasicElement(), "Child '" << childName << "' of dependency '" << elem.first->name() << "' must be BE.");
                         dependencies.push_back(std::static_pointer_cast<DFTBE<ValueType>>(childElement));
                     } else {
                         elem.first->setTriggerElement(std::static_pointer_cast<DFTGate<ValueType>>(childElement));