┌───────┐  ┌────────┐       
│c      │  │S1      │   ┌──┐
├───────┤  ├────────┤   │S2│
│state c│  │state S1│   ├──┤
└───────┘  └────────┘   └──┘