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