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