Cannot use valgrind for tests, disabling
Using stable sorting so we can compare runs more easily

std::sort can change and then we can no longer compare different runs
Fixing counting of types of clause DB reduction
Removing useless operator in Heap
We don't need to deal with the ==2 in a special way
I'm afraid we have to start in the middle, thanks to the +1
There was something wrong with the sorting of the redundant clause database

It was as huge bug
Adjusting some verbosities
Adding more brackets
Adding some commented-out verbose printing
Adding empty line
Don't reduceDB at startup