let print_proj_worklist fmt proj =
  Format.fprintf fmt "Slicing project worklist [%s/%s] =@\n%a@.@."
    (Project.get_name proj.T.application)
    proj.T.name
    SlicingActions.print_list_crit proj.T.actions