testclass StaticChoice for statechart StaticChoice{
	@Test
	operation StaticChoiceTest(){ 
		enter
		assert active(StaticChoice.main_region.Start)
		proceed 1 cycle
		//assert active(StaticChoice.main_region.B) // doesn't work atm		 
	} 
}