EQUATIONS: 
c() = a()
g(x) = x
f(x,b()) = x
f(x,g(y)) = f(g(x),y)
f(b(),z) = c()

COMPLETE TRS:
RULES:
c() -> a()
g(x) -> x
b() -> a()
f(x,a()) -> x
f(a(),x) -> a()

SUCCESS
MaxTRS: 2 
Search time: 0.01 seconds