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