package tests testclass DynamicChoice for statechart DynamicChoice{ operation DynamicChoiceTest(){ enter assert active(DynamicChoice.main_region.Start) cycle assert active(DynamicChoice.main_region.A) } }