Ops a:0 b:0 f:2 g:2
Vars x y
TRS R1
f(g(a,x),a) -> x
f(g(a,x),b) -> x
g(b,b) -> b
