test collect oper object section except goe wrong test object collect except equal ocl evalu instanc evalu uml model interpret size 