testclass EmptyTransition for statechart EmptyTransition{
	@Test
	operation EmptyTransitionTest(){ 
		enter
		proceed 1 cycle
		assert !active (EmptyTransition.main_region.B)
		assert active  (EmptyTransition.main_region.A) 
		 
	} 
}