Add fsm diagram for gof example