MAYBE
0.09/0.19	MAYBE
0.09/0.19	
0.09/0.19	Problem:
0.09/0.19	 empty(nil()) -> true()
0.09/0.19	 empty(cons(x,y)) -> false()
0.09/0.19	 tail(nil()) -> nil()
0.09/0.19	 tail(cons(x,y)) -> y
0.09/0.19	 head(cons(x,y)) -> x
0.09/0.19	 zero(0()) -> true()
0.09/0.19	 zero(s(x)) -> false()
0.09/0.19	 p(0()) -> 0()
0.09/0.19	 p(s(0())) -> 0()
0.09/0.19	 p(s(s(x))) -> s(p(s(x)))
0.09/0.19	 intlist(x) -> if_intlist(empty(x),x)
0.09/0.19	 if_intlist(true(),x) -> nil()
0.09/0.19	 if_intlist(false(),x) -> cons(s(head(x)),intlist(tail(x)))
0.09/0.19	 int(x,y) -> if_int(zero(x),zero(y),x,y)
0.09/0.19	 if_int(true(),b,x,y) -> if1(b,x,y)
0.09/0.19	 if_int(false(),b,x,y) -> if2(b,x,y)
0.09/0.19	 if1(true(),x,y) -> cons(0(),nil())
0.09/0.19	 if1(false(),x,y) -> cons(0(),int(s(0()),y))
0.09/0.19	 if2(true(),x,y) -> nil()
0.09/0.19	 if2(false(),x,y) -> intlist(int(p(x),p(y)))
0.09/0.19	
0.09/0.19	Proof:
0.09/0.19	 Open
0.09/0.19	EOF