ex:
     |->C
A->B-|
     |->D