MAYBE
Trs:
 {app(app(F(), app(app(F(), f), x)), x) -> app(app(F(), app(G(), app(app(F(), f), x))), app(f, x))}
 Comment:
  We consider a duplicating trs.
  FAIL:
   Open