Все-таки главное в 60880 - обеспечить(верифицировать) отсутствие зависаний в циклах путем ограничения числа итераций. Причем, как для системного кода, так и для сгенеренного в будущем прикладного ПО. Поэтому, лучше всего писать специальный компилятор с одним и только одним циклом, как вначале темы. Поэтому допилить для данной задачи именно Оберон-07 представляется разумным, а ПИТОН с брейком гарантий не предоставляет. Фреймворки, конечно же пытаются представить сгенеренный ими код как безошибочный, но это очень сложно доказать.