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