Complete TRS - 254.trs

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