MAYBE
27.01/10.18	MAYBE
27.01/10.18	
27.01/10.18	Problem:
27.01/10.18	 rev(nil()) -> nil()
27.01/10.18	 rev(rev(x)) -> x
27.01/10.18	 rev(++(x,y)) -> ++(rev(y),rev(x))
27.01/10.18	 ++(nil(),y) -> y
27.01/10.18	 ++(x,nil()) -> x
27.01/10.18	 ++(.(x,y),z) -> .(x,++(y,z))
27.01/10.18	 ++(x,++(y,z)) -> ++(++(x,y),z)
27.01/10.18	 make(x) -> .(x,nil())
27.01/10.18	
27.01/10.18	Proof:
27.01/10.18	 Open
27.01/10.19	EOF