Created wsum_zero for verifing that the weighted sum of a set of variables is zero (used to implemented sum and difference).