Improved design of class Clause.
Timing update.
Improved design of class Literal_occurrences.