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