github
diff --git a/‎python/ql/lib/semmle/python/controlflow/internal/Cfg.qll‎
Lines changed: 2 additions & 0 deletions b/‎python/ql/lib/semmle/python/controlflow/internal/Cfg.qll‎
Lines changed: 2 additions & 0 deletions
@@ -85,10 +85,12 @@ class ControlFlowNode extends CfgImpl::ControlFlowNode {
   }
 
   /** Holds if this strictly dominates `other`. */
+  overlay[caller?]
   pragma[inline]
   predicate strictlyDominates(ControlFlowNode other) { super.strictlyDominates(other) }
 
   /** Holds if this dominates `other` (reflexively). */
+  overlay[caller?]
   pragma[inline]
   predicate dominates(ControlFlowNode other) { super.dominates(other) }