C1

--- a ---> C3

C3

--- tau ---> CompoC

C2

--- 'b ---> C3

CompoC

--- a ---> C2
--- 'b ---> C1