diff --git a/src/analyzer/expr/call/function_call_analyzer.rs b/src/analyzer/expr/call/function_call_analyzer.rs
index 5309e9b0..f06b7c49 100644
--- a/src/analyzer/expr/call/function_call_analyzer.rs
+++ b/src/analyzer/expr/call/function_call_analyzer.rs
@@ -527,6 +527,11 @@ fn process_invariant(
     statements_analyzer: &StatementsAnalyzer,
     analysis_data: &mut FunctionAnalysisData,
 ) {
+    if first_arg.2 == aast::Expr_::False {
+        context.has_returned = true;
+        context.control_actions.insert(ControlAction::End);
+        return;
+    }
     let assertion_context = statements_analyzer.get_assertion_context(
         context.function_context.calling_class.as_ref(),
         context.function_context.calling_functionlike_id.as_ref(),