@Override
  public @NotNull SearchScope union(@NotNull SearchScope scope) {
    if (scope instanceof LocalSearchScope) return union((LocalSearchScope)scope);
    return ((GlobalSearchScope)scope).union(this);
  }
@Override
  public @NotNull SearchScope union(@NotNull SearchScope scope)