MAYBE
Trs:
 {*(+(x, y), z) -> +(*(x, z), *(y, z)),
  *(x, +(y, z)) -> +(*(x, y), *(x, z)),
  +(+(x, y), z) -> +(x, +(y, z)),
     +(x, i(x)) -> 0(),
      +(x, 0()) -> x}
 Comment:
  We consider a duplicating trs.
  FAIL:
   Open