testgroup AlwaysOncycle for statechart AlwaysOncycle {

	 test alwaysOncycleTest {
	 	
	 	enter
		assert active (AlwaysOncycle.main_region.StateA)
		while [value < 5] {
			cycle
			assert active (AlwaysOncycle.main_region.StateA)
		}
		cycle
		assert active ( AlwaysOncycle.main_region.StateB)
		while [value < 5] {
			cycle
			assert active (AlwaysOncycle.main_region.StateB)
		}
		cycle
		assert active (AlwaysOncycle.main_region.StateA)  
	}
		
}