testgroup GuardedExit for statechart GuardedExit {
		 
	test ExitTaken { 

		enter

		assert active(GuardedExit.main_region.A)
		assert ! guard
		raise e
		
		cycle

		assert active(GuardedExit.main_region.B)
		assert ! done 
	} 
		
	test ExitNotTaken {
		
		enter 

		assert active(GuardedExit.main_region.A)
		guard = true
		raise e
		
		cycle

		assert active(GuardedExit.main_region.B)
		assert done 
	} 
		
}