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))))))
 }
 Fail