testclass SimpleEvent for statechart SimpleEvent {
	@Test
	operation simpleEventTest(){
		
		enter
		
		assert active (SimpleEvent.main_region.A) message "Expected A to be active"
		assert 5 == 5
		raise Event1
		proceed 1 cycle
		assert active (SimpleEvent.main_region.B) message "Expected B to be active"
		
		proceed 1 cycle
		assert !active (SimpleEvent.main_region.B)	
		      
	}        
}