MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 rev(nil()) -> nil()
0.08/0.18	 rev(++(x,y)) -> ++(rev1(x,y),rev2(x,y))
0.08/0.18	 rev1(x,nil()) -> x
0.08/0.18	 rev1(x,++(y,z)) -> rev1(y,z)
0.08/0.18	 rev2(x,nil()) -> nil()
0.08/0.18	 rev2(x,++(y,z)) -> rev(++(x,rev(rev2(y,z))))
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.19	EOF