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