MAYBE
0.09/0.18	MAYBE
0.09/0.18	
0.09/0.18	Problem:
0.09/0.18	 f(x,nil()) -> g(nil(),x)
0.09/0.18	 f(x,g(y,z)) -> g(f(x,y),z)
0.09/0.18	 ++(x,nil()) -> x
0.09/0.18	 ++(x,g(y,z)) -> g(++(x,y),z)
0.09/0.18	 null(nil()) -> true()
0.09/0.18	 null(g(x,y)) -> false()
0.09/0.18	 mem(nil(),y) -> false()
0.09/0.18	 mem(g(x,y),z) -> or(=(y,z),mem(x,z))
0.09/0.18	 mem(x,max(x)) -> not(null(x))
0.09/0.18	 max(g(g(nil(),x),y)) -> max'(x,y)
0.09/0.18	 max(g(g(g(x,y),z),u())) -> max'(max(g(g(x,y),z)),u())
0.09/0.18	
0.09/0.18	Proof:
0.09/0.18	 Open
0.09/0.18	EOF