Prettier fsm initialization with make-fsm