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