MAYBE Time: 0.059 Problem: Equations: TRS: pAC(a(),x) -> pAC(b(),g(a())) Proof: Open