Помнится кто-то говорил, что в Обероне INC/DEC были введены, ибо они отражают напрямую асмовые команды увеличения на единицу и уменьшения. То есть когда компилятор видит это, он не думает, а просто генерит напрямую соответствующий код. По сути это практически получаются прямые асмовые вставки.
Теперь предположим, что мы затачиваем Оберон, создавая его диалект, под собственную железку. В железке INC и x:=x+1 и даже x:=a+b - один фиг. То есть там нет выделенной команды для инкремента и/или декремента.
Теперь вопрос - нужно ли нам в этом самом диалекте в обязательном порядке оставить эти самые INC/DEC? Ведь они будут только смущать программиста, он будет думать, что это оптимальней. А это не так. И вообще это плодит сущности и делает язык толще.