testgroup FeatureCalls for statechart FeatureCalls {
	test FeatureCalls {
		enter
		assert active ( FeatureCalls.main_region.A)
		//assert MyInterface.myInt == 0
		//raise MyInterface.Event1
		cycle
		//assert MyInterface.myInt == 42
		assert active (FeatureCalls.main_region.A)
	}
}   