Python: fix shared CFG facade CI checks

Document the public expression adapter and apply the canonical QL annotation ordering required by the formatter.

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>

Copilot-Session: 529363f5-bc7d-4f0b-9f47-e03ba9aa0cdf

Author: yoff

python/ql/lib/semmle/python/controlflow/internal/Cfg.qll

@@ -39,6 +39,7 @@ class ControlFlowNode extends CfgImpl::ControlFlowNode {
     exists(CfgImpl::Ast::AstNode n | this.injects(n) | result = CfgImpl::astNodeToPyNode(n))
   }
 
+  /** Gets the Python expression corresponding to this flow node, if any. */
   Py::Expr asPyExpr() { result = this.getNode() }
 
   /** Gets a predecessor of this flow node. */
@@ -85,14 +86,14 @@ class ControlFlowNode extends CfgImpl::ControlFlowNode {
   }
 
   /** Holds if this strictly dominates `other`. */
-  overlay[caller?]
   bindingset[this, other]
+  overlay[caller?]
   pragma[inline_late]
   predicate strictlyDominates(ControlFlowNode other) { super.strictlyDominates(other) }
 
   /** Holds if this dominates `other` (reflexively). */
-  overlay[caller?]
   bindingset[this, other]
+  overlay[caller?]
   pragma[inline_late]
   predicate dominates(ControlFlowNode other) { super.dominates(other) }