docs: ElementKind getAnnotationKindForName(AnnotationMirror annotation) {
      String annotationName = annotation.getAnnotationType().toString();
      ElementKind kind;
      if (annotationName.equals("com.google.java.contract.Invariant")) {
        kind = ElementKind.INVARIANT;
      } else if (annotationName.equals("com.google.java.contract.Requires")) {
        kind = ElementKind.REQUIRES;
      } else if (annotationName.equals("com.google.java.contract.Ensures")) {
        kind = ElementKind.ENSURES;
      } else if (annotationName.equals("com.google.java.contract.ThrowEnsures")) {
        kind = ElementKind.THROW_ENSURES;
      } else {
        kind = null;
      }
  
      return kind;
    }