MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 f(0()) -> true()
0.08/0.18	 f(1()) -> false()
0.08/0.18	 f(s(x)) -> f(x)
0.08/0.18	 if(true(),s(x),s(y)) -> s(x)
0.08/0.18	 if(false(),s(x),s(y)) -> s(y)
0.08/0.18	 g(x,c(y)) -> c(g(x,y))
0.08/0.18	 g(x,c(y)) -> g(x,if(f(x),c(g(s(x),y)),c(y)))
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.18	EOF