testcase for SyncFork{
	test syncForkTest{
		assert active (SyncFork.main_region.A)
		
	}
}