Ответ прост: он подделывает OCL. EA не проверяет синтаксис самой OCL. Он ни в коем случае не выполняет OCL и не выполняет проверку ограничений. Вы можете пометить ограничение только как OCL:
Вот и все. Просто попробуйте ввести недействительное ограничение, и советник проглотит его без предупреждения.