Complete TRS - 509.trs

(VAR
	x
)
(RULES
	a -> b
	f(b,b) -> f(a,a)
	f(x,a) -> f(a,a)
	f(x,b) -> f(a,a)
)