docs: @Override
      public CompactLocationNumbering analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
              throws CheckedAnalysisException {
          Method method = analysisCache.getMethodAnalysis(Method.class, descriptor);
  
          if (method.getCode() == null) {
              return null;
          }
  
          CFG cfg = getCFG(analysisCache, descriptor);
          return new CompactLocationNumbering(cfg);
      }