@Override
  @Contract(pure = true)
  public @NotNull GlobalSearchScope union(@NotNull SearchScope scope) {
    if (scope instanceof GlobalSearchScope) return uniteWith((GlobalSearchScope)scope);
    return union((LocalSearchScope)scope);
  }
@Override
  @Contract(pure = true)
  public @NotNull GlobalSearchScope union(@NotNull SearchScope scope)