┌─┐          ┌─┐          
                    │A│          │B│          
                    └┬┘          └┬┘          
                     │            │           
          ╔══════════╪═══╤════════╪══════════╗
          ║ GROUP LABEL  │        │          ║
          ╟──────────────┘msg    ┌┴┐         ║
          ║         │ │  ─ ─ ─ ─>│ │         ║
          ║         └┬┘          └┬┘         ║
          ║          │  return    │          ║
          ║          │<─ ─ ─ ─ ─ ─│          ║
          ╚══════════╪════════════╪══════════╝
                     │            │           
                     │            │           
          ╔══════╤═══╪════════════╪══════════╗
          ║ ALT  │  alt label     │          ║
          ╟──────┘   │            │          ║
          ║          │   msg1     │          ║
          ║          │───────────>│          ║
          ╠══════════╪════════════╪══════════╣
          ║          │            │          ║
          ║          │   msg2     │          ║
          ║          │───────────>│          ║
          ╚══════════╪════════════╪══════════╝
                     │            │           
                     │            │           
          ╔═══════╤══╪════════════╪══════════╗
          ║ LOOP  │  loop label   │          ║
          ╟───────┘  │            │          ║
          ║          │   msg3     │          ║
          ║          │───────────>│          ║
          ╚══════════╪════════════╪══════════╝
                     │            │           
                     │            │           
          ╔═══════╤══╪════════════╪══════════╗
          ║ LOOP  │  loop label   │          ║
          ╟───────┘  │            │          ║
          ║          │   msg4     │          ║
          ║          │───────────>│          ║
          ╚══════════╪════════════╪══════════╝
                     │            │           
                     │            │