5.1.66 No_Task_Termination

[RM D.7] Tasks that terminate are erroneous.