docs: @Override
      protected void visitMethodCFG(MethodDescriptor methodDescriptor, CFG cfg) throws CheckedAnalysisException {
          if (METHOD != null && !methodDescriptor.getName().equals(METHOD)) {
              return;
          }
  
          if (methodDescriptor.getName().startsWith("access$")) {
              return;
          }
  
          XMethod xMethod = XFactory.createXMethod(methodDescriptor);
          if (DEBUG) {
              System.out.println("CheckTypeQualifiers: checking " + methodDescriptor.toString());
          }
  
          Collection<TypeQualifierValue<?>> relevantQualifiers = Analysis.getRelevantTypeQualifiers(methodDescriptor, cfg);
          for(Iterator<TypeQualifierValue<?>> i = relevantQualifiers.iterator(); i.hasNext();  ) {
              if (i.next().getTypeQualifierClassDescriptor().getClassName().equals(NONNULL_ANNOTATION)) {
                  i.remove();
              }
          }
          if (relevantQualifiers.isEmpty()) {
              return;
          }
          if (DEBUG) {
              System.out.println("  Relevant type qualifiers are " + relevantQualifiers);
          }
          IAnalysisCache analysisCache = Global.getAnalysisCache();
          ForwardTypeQualifierDataflowFactory forwardDataflowFactory = analysisCache.getMethodAnalysis(
                  ForwardTypeQualifierDataflowFactory.class, methodDescriptor);
          BackwardTypeQualifierDataflowFactory backwardDataflowFactory = analysisCache.getMethodAnalysis(
                  BackwardTypeQualifierDataflowFactory.class, methodDescriptor);
          ValueNumberDataflow vnaDataflow = analysisCache.getMethodAnalysis(ValueNumberDataflow.class, methodDescriptor);
  
          for (TypeQualifierValue<?> typeQualifierValue : relevantQualifiers) {
  
              try {
                  checkQualifier(xMethod, cfg, typeQualifierValue, forwardDataflowFactory, backwardDataflowFactory,
                          vnaDataflow);
              } catch (MissingClassException e) {
                  AnalysisContext.reportMissingClass(e);
              } catch (CheckedAnalysisException e) {
                  bugReporter.logError("Exception checking type qualifier " + typeQualifierValue.toString() + " on method "
                          + methodDescriptor.toString(), e);
              }
          }
      }