Complete TRS - 731.trs

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