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