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