MAYBE
MAYBE
TRS:
 {
              +(x, +(y, z)) -> +(+(x, y), z),
  +(+(x, *(y, z)), *(y, u)) -> +(x, *(y, +(z, u))),
              *(x, +(y, z)) -> +(*(x, y), *(x, z))
 }
 DUP: We consider a duplicating system.
  Trs:
   {
                +(x, +(y, z)) -> +(+(x, y), z),
    +(+(x, *(y, z)), *(y, u)) -> +(x, *(y, +(z, u))),
                *(x, +(y, z)) -> +(*(x, y), *(x, z))
   }
  Fail