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