	@Test
	public void create_set_type_check_properties() throws Exception {

		assertEquals("set<b>", m_set_type.name());
		assertTrue(m_set_type.sub_of(m_scope.any()));
		assertFalse(m_set_type.is_abstract());
		assertEquals(m_type, m_set_type.inner_type());
	}