diff --git a/src/storm/logic/OperatorFormula.cpp b/src/storm/logic/OperatorFormula.cpp
index a0607aa7a..93b692e98 100644
--- a/src/storm/logic/OperatorFormula.cpp
+++ b/src/storm/logic/OperatorFormula.cpp
@@ -15,6 +15,7 @@ namespace storm {
         }
         
         ComparisonType OperatorFormula::getComparisonType() const {
+            STORM_LOG_ASSERT(operatorInformation.bound.is_initialized(), "Cannot get Formula comparison type (has no bound?)");
             return operatorInformation.bound.get().comparisonType;
         }