@Override
  public @NotNull GlobalSearchScope intersectWith(@NotNull GlobalSearchScope scope) {
    if (scope == this) return this;
    if (!scope.isSearchInLibraries()) return scope;
    return super.intersectWith(scope);
  }
@Override
  public @NotNull GlobalSearchScope intersectWith(@NotNull GlobalSearchScope scope)