package tests testclass LocalReactions for statechart LocalReactions{ operation LocalReactionsTest(){ enter assert active(LocalReactions.main_region.A) cycle assert x == 1 } }