YES
Input TRS:
    1: pos(s(0())) -> true()
    2: pos(0()) -> false()
    3: pos(s(x)) -> true() | pos(x) --> true()
    4: pos(p(x)) -> false() | pos(x) --> false()
Infeasibility test:
    pos(0()) --> true()
Symbol transition graph:
    pos	--> false true
  Collapsable symbols: { }