let print_project_and_worklist fmt proj =
  print_project fmt proj;
  print_proj_worklist fmt proj