Complete TRS - 714.trs

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