public static @NotNull String stubTreeToString(@NotNull Stub root) {
    StringBuilder builder = new StringBuilder();
    stubTreeToBuffer(root, builder, 0);
    return builder.toString();
  }
public static @NotNull String stubTreeToString(@NotNull Stub root)