; GHWZ
Ops a:0 b:0 c:0 f:2 g:1 h:1

Vars x y
TRS GHWZ
g(f(h(x),h(y))) -> f(y,x)

