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