Moving definitions to cpp and no division by zero
Use range-based for loop
Use range-based for loop
Handle 'none' removed type
Fix initialization order
Don't shadow local parameter -- and don't do it twice
A bit cleaner code, with less division by zero
Using helper function so we don't get division by zero
Guarding against more divide-by-zero
Fixing initialization order
No longer getFreed(), it's simply freed() for Clause
ReduceDB called at wrong place,  getRemoved not checked in gate-elim

These were some serious bugs. The gate-based helping of elimination is now
disabled, the reduceDB is at the right place, and getRemoved() is now
checked on begin() of clause
Check more for sanitization in clang
This function was not used, removing.
Forgot to check for locked clauses while reduceDB-ing
Resetting varData levels to zero before starting search
More debug in PropBy