await_cancellation in the main thread, independently of the execution futures, which might get interrupted or be absent after node deletetion;
await_cancellation in the main thread, independently of the execution futures, which might get interrupted or be absent after node deletetion;

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