CombinatorialVickreyAuctionSoundness.right_unique done