Adding preliminary code to actually manipulate clause DB during BVA
Making clause allocator into a non-pointer
Fixing sizeSortedOcc to a specific size that is known

Makes it easier to work with and faster
Refactoring and-based clause removal
Using CL_OFFSET_MAX instead of the long-written std::numeric_limits...
Removing useless comments
Refactoring ANDgate-based clause removal

Better return values and checks for them
Using more const-correctness
Using more const-s for correctness
Renaming abstractions for better understanding
Moving code-line around for better understandability
Setting 'seen' in a different way
Check for time-out during ANDgate-based cl-removal
Fixing naming of final stats

Thanks to Valentin Mayer-Eichberger for pointing this out
Adding printing of whether time-out occurred during gate-based algos
Removing useless variable and comment
Removing useless comments
Removing indicator for time-out -- we have one already
Preliminary re-enabling of new gate creation

We need to work with 3-long clauses as well. Restricting ourselves to
3+-long clauses for ANDgate-based clause removal is not good enough
Supporting only_irred in ANDgate-based cl-removal