Defines a WeightedDegree comparator for variables. Every time a constraint
failure is encountered all variables within the scope of that constraints
have increased weight. The comparator will choose the variable with the
highest weight divided by its size.
This implementation is not equivalent to AFCMaxDeg since it takes
all accumulated failures for a variable while AFCMaxDeg sums up
weights for still active constraints only!