MAYBE

Problem:
 f(a(),f(a(),f(b(),f(x,y)))) -> f(b(),f(c(),f(b(),f(a(),f(a(),f(a(),f(x,y)))))))
 f(a(),f(c(),f(x,y))) -> f(b(),f(x,y))

Proof:
 Open