testclass ExitOnSelfTransition for statechart ExitOnSelfTransition {
	@Test
	operation ExitOnSelfTransitionTest(){ 
		
		enter
		
		assert active(ExitOnSelfTransition.main_region.A) 
		assert entryCount == 1 
		assert exitCount == 0
		
		raise e
		proceed 1 cycle
		assert entryCount == 2
		assert exitCount == 1
		
		raise f
		proceed 1 cycle
		assert entryCount == 2
		assert exitCount == 2 
	} 
}