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