Started investigating C&C with tawSolver.
Simplified handling of large clauses.

Now no clause-weight is zero.
Provided elimination of pure literals.

Effectiveness needs to be studied.