Add name to FSM definition