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