Long title to see all diagram ┌─┐ ┌─┐ │a│ │b│ └┬┘ └┬┘ INIT │ │ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ > │ │ │ │ msg_1 │ │ ───────────> │ │ │ │ ╔══════╤═════════════════════╪════════════╪══════════╗ ║ ALT │ Success │ │ ║ ╟──────┘ │ │ ║ ║ │ │ ║ ║ │ <─────────── ║ ╠════════════════════════════╪════════════╪══════════╣ ║ [Failure] │ │ ║ ║ │ │ ║ ║ │ <─────────── ║ ║ │ │ ║ ║ │ │ ║ ║ ╔═════╧══════╗ │ ║ ══════════════════════════╣ With label ╠═════╪═════════════════════ ║ ╚═════╤══════╝ │ ║ ║ │ │ ║ ║ ╔═══════╧════════╗ │ ║ ║ ║test of ░║ │ ║ ║ ║left outcoming ║ │ ║ ║ ╚═══════╤════════╝ │ ║ ║ Goto │ │ ║ ║ INIT │ │ ║ <─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ │ ║ ║ │ │ ║ ║ Goto │ │ ║ ║ INIT │ │ ║ ║ <─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ │ ║ ║ │ │ ║ ║ Goto │ │ ║ ║ INIT │ │ ║ ║ <─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ │ ║ ║ │ │ ║ ║ ╔══════════╧═══════════╗│ ║ ║ ║test of ░║│ ║ ║ ║short left outcoming ║│ ║ ║ ╚══════════╤═══════════╝│ ║ ║ Goto │ │ ║ ║ INIT│ │ ║ ║ <─ ─ ─ │ ║ ║ │ │ ║ ║ Goto │ │ ║ ║ INIT │ │ ║ ║ <─ ─ ─ ─ ─ ─ ─ │ ║ ║ │ │ ║ ║ Goto │ │ ║ ║ INIT │ │ ║ ║ <─ ─ ─ ─ ─ ─ ─ │ ║ ║ │ │ ║ ║ │ │ ║ ║ ╔══════╧════════╗ │ ║ ═════════════════════════╣ Without label ╠═══╪═════════════════════ ║ ╚══════╤════════╝ │ ║ ║ │ │ ║ ║ ╔═══════╧════════╗ │ ║ ║ ║test of ░║ │ ║ ║ ║left outcoming ║ │ ║ ║ ╚═══════╤════════╝ │ ║ ║ │ │ ║ <─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ │ ║ ║ │ │ ║ ║ │ │ ║ ║ <─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ │ ║ ║ │ │ ║ ║ │ │ ║ ║ <─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ │ ║ ║ │ │ ║ ║ ╔══════════╧═══════════╗│ ║ ║ ║test of ░║│ ║ ║ ║short left outcoming ║│ ║ ║ ╚══════════╤═══════════╝│ ║ ║ │ │ ║ ║ <─ │ ║ ║ │ │ ║ ║ │ │ ║ ║ <─ ─ ─ ─ ─ │ ║ ║ │ │ ║ ║ │ │ ║ ║ <─ ─ ─ ─ ─ │ ║ ╚════════════════════════════╪════════════╪══════════╝ │ │ │ msg_2 │ │ ───────────> ┌┴┐ ┌┴┐ │a│ │b│ └─┘ └─┘