Fixing cutoff check
Using a hash function to combine 2 literals for BVA

More effective I think
Checking that the 2 lits for the BVA are in correct order
Adding SQL dumping to prober
No need of this struct in Prober
Adding SQL dumping to varelim
Cleaning up prober so it can actually be understood
First check the cache, then check the stamp for dominator picking
Refactoring to use a function
Removing unused, commented-out code