diff --git a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
index 112f4d89d..5c7db0248 100644
--- a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
+++ b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
@@ -254,6 +254,7 @@ namespace storm {
             do {
                 // Construct selected children from combination
                 std::vector<uint64_t> combinationChildren;
+                STORM_LOG_ASSERT(vot->nrChildren() < 64, "Too many children of a VOT Gate.");
                 for (size_t j = 0; j < vot->nrChildren(); ++j) {
                     if (combination & (1ul << j)) {
                         combinationChildren.push_back(childVarIndices.at(j));