@Nullable
  public static Set<String> getWrittenPaths(@NotNull CompileContext context) {
    return context.getUserData(WRITTEN_PATHS_KEY);
  }
@Nullable
  public static Set<String> getWrittenPaths(@NotNull CompileContext context)