0.00/0.01	NO
0.00/0.01	
0.00/0.01	2 decompositions
0.00/0.01	 #0 -----------
0.00/0.01	   4: f(g(f(___y1))) -> ___y1
0.00/0.01	   5: f(g(___y2)) -> g(f(___y2))
0.00/0.01	
0.00/0.01	 #1 -----------
0.00/0.01	   2: f(h(a(),a())) -> f(b())
0.00/0.01	   3: c() -> b()
0.00/0.01	
0.00/0.01	unjoinable peak
0.00/0.01	    h(a(),a())
0.00/0.01	*<- f(g(f(h(a(),a())))) ->*
0.00/0.01	    b()
0.00/0.01	NOTE: input TRS is reduced
0.00/0.01	
0.00/0.01	original is
0.00/0.01	   1: a() -> a()
0.00/0.01	   2: f(h(a(),a())) -> f(b())
0.00/0.01	   3: c() -> b()
0.00/0.01	
0.00/0.01	reduced to
0.00/0.01	   2: f(h(a(),a())) -> f(b())
0.00/0.01	   3: c() -> b()
0.00/0.01	
0.00/0.01	EOF