test reject oper section except goe wrong suppress warn uncheck test reject oper except hash map object vt hash map object model interpret mi uml model interpret object obj ocl evalu instanc evalu vt mi set reject obj collect collect object ocol collect object obj ocol size ocol contain ocol contain ocol contain 