testclass HistoryWithExitPoint for statechart HistoryWithExitPoint {
	@Test
	operation historyEntryAfterExit(){
		enter
		
		assert active ( HistoryWithExitPoint.mr.A.r.X1 )
		
		raise push 
		proceed 1 cycle
		assert active ( HistoryWithExitPoint.mr.B )
		
		raise back
		proceed 1 cycle
		assert active ( HistoryWithExitPoint.mr.A.r.X1 )
		
		raise next
		proceed 1 cycle
		assert active ( HistoryWithExitPoint.mr.A.r.X2 )
		
		raise push 
		proceed 1 cycle
		assert active ( HistoryWithExitPoint.mr.B )
		
		raise back
		proceed 1 cycle
		assert active ( HistoryWithExitPoint.mr.A.r.X2 )
		
	}
	
}