ND

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

S1

--- b ---> S3

S2

--- c ---> S4