Ops a:0 b:0 c:0 f:2 g:1 h:1
Vars x y
TRS hl2
g(f(a,x)) -> a
f(f(x,h(a)),b) -> b
g(f(f(x,h(y)),c)) -> c
