Complete TRS - 696.trs

(VAR
)
(RULES
	h(a,c) -> b
	c -> a
	b -> f(b)
	h(a,a) -> b
)