g(c) = c
g(h(c,x)) = c
g(h(x,c)) = h(x,c)
h(c,c) = c
f(x,y) = h(c,y)
f(x,y) = h(x,c)

!preorder f > g > h > c
