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