S3

None.

S2

--- b ---> S2

S1

--- b ---> S3

AnotherGameS

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