Updates.
Changed procjection in heuristics to product.

And handling 0-cases in heuristics.

Now the "best" basis of weighting seems 2.0.
Putting related asserts on the same line.
Renaming "checker_cl" -> "literal_table".
Made literal_table (for reading clauses) static.

This avoides permanent re-creation.
Providing max-depth as output.
Catching signals SIGINT and SIGUSR1.

Printing statistics then.