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