
testgroup CastExpressions for statechart CastExpressions{
	
	test CastExpressionTest { 
		enter
		assert realValue == 5
		assert intValue == 5
		cycle
		assert realValue == 15
		cycle
		assert active(CastExpressions.main_region.C)
		
		assert realValue == 757
	} 
}
	