@Override
  public final @NotNull Collection<? extends AbstractTreeNode<?>> getChildren() {
    return AstLoadingFilter.disallowTreeLoading(this::doGetChildren);
  }
@Override
  public final @NotNull Collection<? extends AbstractTreeNode<?>> getChildren()