0.89/0.68	MAYBE
0.89/0.68	Input TRS:
0.89/0.68	    1: s(p(x)) -> x
0.89/0.68	    2: p(s(x)) -> x
0.89/0.68	    3: pos(0()) -> false()
0.89/0.68	    4: pos(s(0())) -> true()
0.89/0.68	    5: pos(s(x)) -> true()
0.89/0.68	    6: pos(p(x)) -> false()
0.89/0.68	Infeasibility test:
0.89/0.68	    pos(p(x)) --> true()
0.89/0.68	EOF