┌────────┐  ┌───────────┐
│{{      │  │{{         │
├────────┤  ├───────────┤
│state b │  │rectangle b│
│a -l-> b│  │a -l-> b   │
│}}      │  │}}         │
│        │  │           │
└────────┘  └───────────┘