Adds FSM examples