TODO
inference rule CombinatorialAuctionProperties.wd_outcomeI and outline of CombinatorialVickreyAuctionSoundness.wd_outcome proof