Problem:
 f(x,h(x)) -> f(h(x),h(x))
 f(x,k(y,z)) -> f(h(y),h(y))
 h(x) -> k(x,x)
 k(a(),a()) -> h(b())
 a() -> b()

Proof:
 Open