weakened "witnesses" assumption of Max_Im_ge_other_Im2
moved allocation_injective from CombinatorialAuction to CombinatorialAuctionProperties