Ops a:0 b:0 c:0 d:0 f:3 g:1
Vars x y
TRS R1
f(x,x,y) -> f(x,y,b)
f(x,y,d) -> f(c,x,a)
a -> g(b)
b -> d
g(b) -> c

