1.15/1.20	YES
1.15/1.20	
1.15/1.20	Problem:
1.15/1.20	 f(x,x,x) -> h(x,x,x,x,g(c()))
1.15/1.20	 c() -> g(c())
1.15/1.20	
1.15/1.20	Proof:
1.15/1.20	 Qed (right-reducible TRS)
1.15/1.21	EOF