A FSM implementation based on/for BeautifulProperties.