eval object self expr expans except self equal expr expr self vt clear vt self self valu evalu evalu vt model interpret expr invalid ocl except ocl invalid express ocl 