S

--- a ---> b.S1

S1

--- a ---> S
--- b ---> S1

b.S1

--- b ---> S1