testclass ConditionalExpression for statechart ConditionalExpressions{
	@Test
	operation ConditionalExpressionTest(){ 
		enter
		assert active (ConditionalExpressions.main_region.A)
		assert condition == 1
		
		raise e
		proceed 1 cycle
		
		assert active (ConditionalExpressions.main_region.B)
		assert condition == 2
		
		
		
		 
		 
	} 
}