@Override
  public void visitElement(final @NotNull PsiElement element) {
    ProgressIndicatorProvider.checkCanceled();
    element.acceptChildren(this);
  }
@Override
  public void visitElement(final @NotNull PsiElement element)