Problem:
 f(x,h(x)) -> f(h(x),x)
 f(g(x),y()) -> f(g(y()),g(x))
 f(x,y()) -> f(y(),x)
 h(x) -> g(x)
 g(x) -> x

Proof:
 Open