Problem:
 f(h(x,d()),y) -> f(h(y,d()),x)
 h(c(),x) -> h(x,x)

Proof:
 Open