The CNF object do not store comments between clauses anymore.

This simplifies the code and  make some formula manipulation even more
streamlined.