supervisor for declare fsm