testgroup CKeywords for statechart CKeywords { test CKeywordsTest { enter assert active ( CKeywords.auto.char ) raise auto cycle assert active (CKeywords.auto.loop) assert active ( CKeywords.auto.loop.switch.case ) assert active ( CKeywords.auto.loop.switch.case.enum.asm ) } }