testgroup StatechartLocalReactions for statechart StatechartLocalReactions {
	test statechartLocalReactionsTest {
		
		enter
				
		assert active (StatechartLocalReactions.main_region.S1)
		assert active (StatechartLocalReactions.region2.a)
		while [ myInt < 10 ] {
			assert active (StatechartLocalReactions.region2.a)
			if[myInt%2 == 0]{
				assert active (StatechartLocalReactions.main_region.S1)
			}else {
				assert active (StatechartLocalReactions.main_region.S2)
			}
			cycle 
		} 
	}
}