testclass CKeywords for statechart CKeywords { 
	@Test
	operation CKeywordsTest(){ 
		enter
		assert active ( CKeywords.auto.char ) 
		raise auto 
		proceed 1 cycle
		assert active (CKeywords.auto.loop) 
		assert active ( CKeywords.auto.loop.switch.case )
		assert active ( CKeywords.auto.loop.switch.case.enum.asm ) 
	} 
}