В Обероне-2 в реализации XDS нарушение инкапсуляции имеется: потомок не может иметь поля, одноимённого со скрытым полем предка.

Скорее всего, то же самое будет и в компиляторе ОС Оберон (например, OPCL), но это я не проверял.