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