diff --git a/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll b/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
index c0cb83debb8..842dffbd25e 100644
--- a/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
+++ b/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
@@ -1593,7 +1593,9 @@ module Make0<LocationSig Location, AstSig<Location> Ast> {
           or
           n1.isAfter(loopstmt.getBody()) and
           n2.isAdditional(loopstmt, loopHeaderTag())
-          or
+        )
+        or
+        exists(LoopStmt loopstmt |
           n1.isAfter(getLoopElse(loopstmt)) and
           n2.isAfter(loopstmt)
         )