1.37/0.78	YES
1.37/0.78	Input TRS:
1.37/0.78	    1: pin(a()) -> pout(b())
1.37/0.78	    2: pin(b()) -> pout(c())
1.37/0.78	    3: tc(x) -> x
1.37/0.78	    4: tc(x) -> y | pin(x) --> pout(z()) | tc(z()) --> y
1.37/0.78	Infeasibility test:
1.37/0.78	    pin(x1) --> pout(z())
1.37/0.78	    tc(z()) --> x2
1.37/0.78	Symbol transition graph:
1.37/0.78	    tc	-->  # a b c pin pout tc z
1.37/0.78	    pin	--> pout
1.37/0.78	  Collapsable symbols: { tc tc }
1.37/0.78	EOF