let rm_unused_globals ?new_proj_name ?(project=Project.current ()) () =
let new_proj_name =
match new_proj_name with
| Some name -> name
| None -> (Project.get_name project)^ " (without unused globals)"
in
journalized_rm_unused_globals new_proj_name project