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

Proof:
 Open