Had some time today to continue with do-while, implemented a lowering, but it gave only +5 passing tests. Turned out that other lowerings create their own do-while loops and I guess my lowering doesn't process them, even if I declare some of the lowerings as prerequisites. Probably I don't specify all the prereqs, will try to understand it the next time (but I don't now when it happens). Anyway, created a
draft PR. The two remaining topics mentioned previously are still to be researched.