MAYBE
MAYBE
TRS:
 {ap(ap(g(), x), y) -> y,
         ap(f(), x) -> ap(f(), app(g(), x))}
 DUP: We consider a non-duplicating system.
  Trs:
   {ap(ap(g(), x), y) -> y,
           ap(f(), x) -> ap(f(), app(g(), x))}
  Fail