/* NOTE: taskWillBeFalse force guarantee that we must stop in order to satisfy Task! */             guarantee   G noTasks -> stopping; 