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