MAYBE
MAYBE
TRS:
 {
  f(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) ->
  f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))
 }
 Fail