Совсем недавно понял...

1. При продвижении Оброна в образовании сформировался вполне чёткий тезис, что "Оберон - ядро императивных языков программирования", вы сможете потом на любом языке программировать как на Обероне. А как на другом языке запрограммировать "цикл Дейстры" — очень сложно, с помощью ELSIF конструкций внутри WHILE. В общем - такой красивый тезис рассыпается из-за этого цикла.

2. Ещё, как выяснилось, в Обероне вообще не совсем цикл Дейкстры, поэтому его даже неправильно так называть. Цикл Дейкстры имеет неопределённое поведение, неизвестно какая из TRUE ветвей будет выполнена следующей. А в Вирта в последнем Обероне именно какой-то свой предопределённый вариант получается.