@Contract(pure = true)
  public static @NotNull GlobalSearchScope moduleWithLibrariesScope(@NotNull Module module) {
    return module.getModuleWithLibrariesScope();
  }
@Contract(pure = true)
  public static @NotNull GlobalSearchScope moduleWithLibrariesScope(@NotNull Module module)