Make description consistent with other descriptions
Improve handling of new clauses

Remove duplicate literals, ignore empty clauses and clauses
with complementary literals.