Ops a:0 b:0 f:3 g:2
Vars x0 x1 x2 x3 y

TRS BU
f(x0,x1,g(a,g(x2,x3))) -> f(x0, x2, y)
f(x0, x1, a) -> x0
