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