testclass DynamicChoice for statechart DynamicChoice{
	@Test
	operation DynamicChoiceTest(){ 
		enter		
		assert active(DynamicChoice.main_region.Start)
		proceed 1 cycle
		assert active(DynamicChoice.main_region.A)	 
	} 
}