let unjournalized_rm_unused_globals project () =
  P.feedback "remove unused global declarations from project '%s'"
    (Project.name project);
  let new_name = Project.name project ^ " (without unused globals)" in
  P.result "removed unused global declarations in new project '%s'" new_name;
  Project.on project Globs.rm_unused_decl new_name