testgroup ValuedEvents for statechart ValuedEvents {
	test valuedEventsTest {
		
		enter
		
		cycle
		assert active(ValuedEvents.main_region.A)
		assert active (ValuedEvents._region1.C)
		assert myVar == 42 
	}
}