Update fsm.rkt