adds finite state machine diagram