[zelphirkalt]

I do not see any different kinds of edges in the diagram. Is only one kind of message supported, or is perhaps the example not chosen to include all kinds of message/returns?