MAYBE
Time: 0.012

Problem:
 Equations:
  
 TRS:
  pAC(a(),x) -> pAC(b(),g(a()))

Proof:
 Open