a.T

--- a ---> T

T

--- a ---> T1
--- a ---> b.T2

T2

--- a ---> T
--- b ---> T2

T1

--- b ---> a.T
--- b ---> T1

b.T2

--- b ---> T2