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