MAYBE
MAYBE
TRS:
 {
  plus(plus(X, Y), Z) -> plus(X, plus(Y, Z)),
       times(X, s(Y)) -> plus(X, times(Y, X))
 }
 DUP: We consider a duplicating system.
  Trs:
   {
    plus(plus(X, Y), Z) -> plus(X, plus(Y, Z)),
         times(X, s(Y)) -> plus(X, times(Y, X))
   }
  Fail