test code trigger code oper except goe wrong test trigger except ocl context actor inv ocl interpret interpret ocl interpret ocl model interpret interpret trigger contain actor 