Merge two CNF

Property definitions

logic $ CNF :: &
	# Merge two CNF
	fun &(o: CNF): CNF
	do
		var res = new CNF
		res.data.add_all self.data
		res.data.add_all o.data
		return res
	end
lib/logic/lexpr.nit:366,2--373,4