testclass CastExpressions for statechart CastExpressions{
	@Test
	operation CastExpressionTest(){ 
		enter
		assert realValue == 5
		assert intValue == 5
		proceed 1 cycle
		assert realValue == 15
		proceed 1 cycle
		assert active(CastExpressions.main_region.C)
		
		assert realValue == 757
	} 
}