Count updating of offset pointers to consolidation
Pass pointer, not offset
More braces for better readability
Let's make sure all is fine with attachment while we are cleaning
Use new reduceDB scheme
We now know if tri propagation is by redundant or not

Needed for extra var activity bump
Using doubles for variable activity
Gate-based cl removal is expensive and not very effective
Even less stats inside by default
Don't use constants, use the values in the config
Only UIP-lock clauses that are of high glue
Don't UIP-lock