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