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