Fixed bug in BooleanMaxWalkSat.
Incorrect handling of potentials that are all satisfied.