BranchS

--- a ---> S1
--- a ---> S2

S1

--- a ---> S3

S2

--- b ---> S4

S3

None.

S4

--- c ---> S5
--- d ---> S6

S5

None.

S6

None.