Now the clause is satisfied iff length=0.

This makes it possible for the heuristics to just add clause-weights,
making the program 10% faster (at least) on the test-instance.
Updated function name.
Handlings lists now consistently by (begin, end).

This applies to lists of literals (the clauses), and lists of
clause-occurrences (clause-pointers).