FSM optimization