test set constructor section except goe wrong suppress warn uncheck test set constructor except hash map object vt hash map object model interpret mi uml model interpret object obj ocl evalu instanc evalu vt mi set obj set set object oset set object obj oset size oset contain oset contain oset contain oset contain 