Changing more minimization rules
Cleanup code
Don't build tests that cannot run without STATS_NEEDED
Cleaning up, fixing and speeding up XOR finding

foundXors set was useless. Also, there was a bug where a long clause
caused that we returned from the function, instead of continuing.
Cleaned up the whole system by refactoring. Occurrence lists MUST go --
this is a TODO