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