refined Task_Queue.cancel: passive tasks are considered running due to pending abort operation;
refined Task_Queue.cancel: passive tasks are considered running due to pending abort operation;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle