Add message exchanged diagram for python fsm