import codeql.ruby.controlflow.internal.ControlFlowGraphImplShared::Consistency