docs: @Override
      public DominatorsAnalysis analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException {
          CFG cfg = getCFG(analysisCache, descriptor);
          DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
          DominatorsAnalysis analysis = new DominatorsAnalysis(cfg, dfs, true);
          Dataflow<java.util.BitSet, DominatorsAnalysis> dataflow = new Dataflow<>(cfg,
                  analysis);
          dataflow.execute();
          return analysis;
      }