Complete TRS - 237.trs

(VAR
	x
)
(RULES
	a(x) -> g(b(x))
	a(x) -> c(x)
	b(x) -> g(b(x))
	c(x) -> g(b(x))
)