Test distributeOverAddition