Complete TRS - 248.trs

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