EQUATIONS: 
h(x,y) = f(x)
h(x,y) = f(y)
g(x,y) = h(x,y)
g(x,y) = a()

COMPLETE TRS:
RULES:
h(x,y) -> a()
g(x,y) -> a()
f(x) -> a()

SUCCESS
MaxTRS: 2 
Search time: 0.01 seconds