let unjournalized_rm_unused_globals new_proj_name project =
  P.feedback "remove unused global declarations from project '%s'"
    (Project.get_name project);
  P.result "removed unused global declarations in new project '%s'" new_proj_name;
  Project.on project Globs.rm_unused_decl new_proj_name