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