MAYBE
0.09/0.18	MAYBE
0.09/0.18	
0.09/0.18	Problem:
0.09/0.18	 rev(nil()) -> nil()
0.09/0.18	 rev(cons(x,l)) -> cons(rev1(x,l),rev2(x,l))
0.09/0.18	 rev1(0(),nil()) -> 0()
0.09/0.18	 rev1(s(x),nil()) -> s(x)
0.09/0.18	 rev1(x,cons(y,l)) -> rev1(y,l)
0.09/0.18	 rev2(x,nil()) -> nil()
0.09/0.18	 rev2(x,cons(y,l)) -> rev(cons(x,rev2(y,l)))
0.09/0.18	
0.09/0.18	Proof:
0.09/0.18	 Open
0.09/0.18	EOF