Problem:
 f(x,x) -> g(i(b()),x)
 g(x,x) -> f(x,i(a()))
 i(x) -> j(x)
 a() -> b()

Proof:
 Open