Switching from Event Sequencing to full-blowns FSM