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