testclass AlwaysOncycle for statechart AlwaysOncycle {
	
	@Test
 	operation alwaysOnCycleTest (){
	 	enter
		assert active (AlwaysOncycle.main_region.StateA)
		while (value < 5) {
			proceed 1 cycle
			assert active (AlwaysOncycle.main_region.StateA)
		}
		proceed 1 cycle
		assert active (AlwaysOncycle.main_region.StateB)
		while (value < 5) {
			proceed 1 cycle
			assert active (AlwaysOncycle.main_region.StateB)
		}
		proceed 1 cycle
		assert active (AlwaysOncycle.main_region.StateA)  
	}
		
}