Yeah let's remove this line -- if the TaskSetManager is submitting tasks that are part of a killed task set, that is a bug and should be fixed separately