Ну, я правда сомневаюсь, что на Обероне можно сочинить конструкцию, которую можно трактовать как-то иначе.
Сам по себе язык обладает приличным запасом жёсткости внутри модуля. А межмодульное взаимодействие не менее жёстко регулируется (хотя динамика там гарантированно достаточная).