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