BranchT

--- a ---> T1
--- a ---> T2

T1

--- a ---> T3

T2

--- b ---> T4
--- b ---> T5

T3

None.

T4

--- c ---> T6

T5

--- d ---> T7

T6

None.

T7

None.