Complete TRS - 253.trs

(VAR
	x
)
(RULES
	c -> f(c)
	c -> f(h(a))
	f(x) -> h(f(x))
	f(h(a)) -> f(c)
)