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