*----------*
 |          |
 |          | A=1
 |          |
 |     @====X-----X==========>
 |            B=0 |
 |                | C=0
 |                |
 *----------------*