Problem:
 g(a()) -> a()
 g(a()) -> g(f(a(),a()))
 g(f(a(),a())) -> g(f(a(),a()))
 f(a(),g(a())) -> g(f(a(),a()))

Proof:
 Uncurry Processor:
  f3(g(),a()) -> a()
  f3(g(),a()) -> f3(g(),f3(f3(f(),a()),a()))
  f3(g(),f3(f3(f(),a()),a())) -> f3(g(),f3(f3(f(),a()),a()))
  f3(f3(f(),a()),f3(g(),a())) -> f3(g(),f3(f3(f(),a()),a()))
  Ground Confluence Processor:
   UN by decision procedure.