docs: @Override
      public BlockTypeDataflow analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException {
          CFG cfg = getCFG(analysisCache, descriptor);
          DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
          BlockTypeAnalysis analysis = new BlockTypeAnalysis(dfs);
          BlockTypeDataflow dataflow = new BlockTypeDataflow(cfg, analysis);
          dataflow.execute();
          return dataflow;
      }