docs: @Requires("reader != null")
    protected ContractAnalyzer extractContracts(ClassReader reader) {
      ContractAnalyzer contractAnalyzer = new ContractAnalyzer();
      reader.accept(contractAnalyzer, ClassReader.EXPAND_FRAMES);
      return contractAnalyzer;
    }