testgroup PriorityValues for statechart PriorityValues {
	test transitionPriority {
		
		enter
		
		assert active (PriorityValues.main_region.A)
		raise event1
		cycle
		assert active(PriorityValues.main_region.C)
	}
	
	test regionPriority{
		
		enter
		
		assert active (PriorityValues.someRegion.A)
		raise event2
		cycle
		assert active(PriorityValues.someRegion.B)
		assert !active(PriorityValues.main_region.E)
		
	}
	
}