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