support for partial fsm declaration in several classes