该产生式规则代表了ocl表达式中的@pre。
isMarkedPreCS ::= ‘@’ ‘pre’
抽象语法映射
isMarkedPreCS.ast : Boolean
合成的属性
self.ast = true
继承的属性
-- none
歧义消除规则