Ops a:0 b:0 c:0 d:0 e:0 f:2 g:3
Vars x y
TRS FB
f(a,g(x,y,c)) -> x
f(b,g(d,x,c)) -> x
g(e,x,d) -> b
