There's a condition that looked similar in CKTester, but it turned out that it was broken and while porting it to Bender, we fixed it what changed resume() behaviour (made it synchronous instead of asynchronous). It is stupid when it's asynchronous, but that's how it was in CKTester and has to be for compatibility reasons.