This is the https://en.wikipedia.org/wiki/Structured_program_theorem https://en.wikipedia.org/wiki/Structured_program_theorem. You may also be interested in th

This is the https://en.wikipedia.org/wiki/Structured_program_theorem https://en.wikipedia.org/wiki/Structured_program_theorem. You may also be interested in the Relooper and Stackifier algorithms, which produce more efficient programs than a simple loop/switch.