code: @Override
      public final void visitField(@Nullable JavaFieldElement oldField, @Nullable JavaFieldElement newField) {
          depth++;
          doVisitField(oldField, newField);
      }
docs: Please override the
  {@link #doVisitField(JavaFieldElement, JavaFieldElement)}
  instead.
  
  @see Check#visitField(JavaFieldElement, JavaFieldElement)