check express invari satisfi given model element param model element model element satisfi check object model element evalu invari ei evalu invari model element model interpret tree appli ei ei ok 