Returns the weighted degree for a domain variable. Weighted degree is call AFC (accumulated failure count) in Gecode, and is a count of the number of failures so far of propagators associated with the variable, plus the number of propagator attached to the variable (to give reasonable starting values when there are not failures yet). This is usually used in selecting a variable for labelling.