Instantiate MakeAstConsistency in ControlFlowGraph.qll

Agent-Logs-Url: https://github.com/github/codeql/sessions/44b8fcaf-0a89-41e7-8685-068e4764ebb3

Co-authored-by: aschackmull <28296824+aschackmull@users.noreply.github.com>

Author: Copilot

shared/controlflow/codeql/controlflow/ControlFlowGraph.qll

@@ -2063,6 +2063,7 @@ module Make0<LocationSig Location, AstSig<Location> Ast> {
          */
 
         private import PrintGraph as Pp
+        private import AstConsistency as AstConsistency_
 
         private class ControlFlowNodeAlias = ControlFlowNode;
 
@@ -2078,6 +2079,9 @@ module Make0<LocationSig Location, AstSig<Location> Ast> {
 
         import Pp::PrintGraph<Location, PrintGraphInput>
 
+        /** Provides AST consistency queries. */
+        module AstConsistency = AstConsistency_::MakeAstConsistency<Location, Ast>::Consistency;
+
         /** Provides a set of consistency queries. */
         module Consistency {
           /** Holds if the consistency query `query` has `results` results. */