static boolean instrument(ClassReader classReader,
                            ClassVisitor classWriter,
                            Set<? extends TMHAssertionGenerator> generators,
                            boolean generateLineNumbers) {
    AnnotatedMethodsCollector collector = new AnnotatedMethodsCollector(generators);
    int options = ClassReader.SKIP_FRAMES;
    if (!generateLineNumbers) {
      options |= ClassReader.SKIP_CODE | ClassReader.SKIP_DEBUG;
    }
    classReader.accept(collector, options);
    if (collector.annotatedMethods.isEmpty()) {
      return false;
    }
    Instrumenter instrumenter = new Instrumenter(classWriter, collector.annotatedMethods);
    classReader.accept(instrumenter, 0);
    return true;
  }
static boolean instrument(ClassReader classReader,
                            ClassVisitor classWriter,
                            Set<? extends TMHAssertionGenerator> generators,
                            boolean generateLineNumbers)