MAYBE
MAYBE
TRS:
 {
  minus(minus(x)) -> x,
      minus(h(x)) -> h(minus(x)),
   minus(f(x, y)) -> f(minus(y), minus(x))
 }
 Fail