Added predicates for testing for a task being killed or being done