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