I agree - in the end we have some fuzzy turing machine when writing in pseudo code. I think it is inherently hard to get this right. I also think that these decisions about control flow etc should stay with the developer given I find it very rewarding and LLMs are not very good at it yet (even though they have promised us the improvements for the past 5 years lol).