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

Proof:
 Open