Removing strange xorEqualsFalse

We should always use positive terms to aid understanding
Removing commented-out code for xor clauses
Fixing and re-factoring tallying of votes for polarity calculation

Beware, polarities are now re-calculated every time and used. So
polarities are lost at the beginning after every simplification round