allow for multiple double-pairs in a row (col, box) and apply the double-pair refinement to the whole game