The rewriting here is called “program inversion” in Jackson structured programming:

https://en.m.wikipedia.org/wiki/Jackson_structured_programmi...

The wiki article just hints about using coroutines under certain circumstances; so called “structure clash”. The program inversion technique is fully described in Jackson’s book Principles of Program Design, 1975.