testclass FeatureCalls for statechart FeatureCalls {
	@Test
	operation FeatureCalls(){
		enter
		assert active ( FeatureCalls.main_region.A)
		//assert MyInterface.myInt == 0
		//raise MyInterface.Event1
		proceed 1 cycle
		//assert MyInterface.myInt == 42
		assert active (FeatureCalls.main_region.A)
	}
}