Rename check-event to fsm-check-event for clarity

since 'event' is a native concept of emacs.