TIMEOUT
MAYBE
Trs:
 {      a(f(), 0()) -> a(s(), 0()),
  a(f(), a(s(), x)) -> a(d(), a(f(), a(p(), a(s(), x)))),
        a(d(), 0()) -> 0(),
  a(d(), a(s(), x)) -> a(s(), a(s(), a(d(), a(p(), a(s(), x))))),
  a(p(), a(s(), x)) -> x}
 Open