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