,-------.  ,--------.       
|c      |  |S1      |   ,--.
|-------|  |--------|   |S2|
|state c|  |state S1|   |--|
`-------'  `--------'   `--'