import codeql.swift.controlflow.internal.ControlFlowGraphImplSpecific::CfgImpl::Consistency