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