[3.8.6][PHRAS-64] Delete progression of subdef task, print the number of remaining subdefs to do