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