MAYBE
MAYBE
TRS:
 {    and(tt()) -> X,
   plus(N, 0()) -> N,
  plus(N, s(M)) -> s(plus(N, M))}
 DUP: We consider a duplicating system.
  Trs:
   {    and(tt()) -> X,
     plus(N, 0()) -> N,
    plus(N, s(M)) -> s(plus(N, M))}
  Fail