Renamed FSM states back to S_