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