Fixed one test for .Net 3.5
Fixed one test for .Net 3.5

hubuk/CodeContracts,hubuk/CodeContracts,huoxudong125/CodeContracts,SergeyTeplyakov/CodeContracts,Microsoft/CodeContracts,huoxudong125/CodeContracts,ndykman/CodeContracts,SergeyTeplyakov/CodeContracts,danielcweber/CodeContracts,danielcweber/CodeContracts,hubuk/CodeContracts,ndykman/CodeContracts,SergeyTeplyakov/CodeContracts,danielcweber/CodeContracts,ndykman/CodeContracts,huoxudong125/CodeContracts,Microsoft/CodeContracts,danielcweber/CodeContracts,danielcweber/CodeContracts,SergeyTeplyakov/CodeContracts,danielcweber/CodeContracts,hubuk/CodeContracts,ndykman/CodeContracts,ndykman/CodeContracts,huoxudong125/CodeContracts,SergeyTeplyakov/CodeContracts,huoxudong125/CodeContracts,SergeyTeplyakov/CodeContracts,hubuk/CodeContracts,danielcweber/CodeContracts,Microsoft/CodeContracts,Microsoft/CodeContracts,hubuk/CodeContracts,huoxudong125/CodeContracts,Microsoft/CodeContracts,Microsoft/CodeContracts,hubuk/CodeContracts,ndykman/CodeContracts,Microsoft/CodeContracts,SergeyTeplyakov/CodeContracts,huoxudong125/CodeContracts,ndykman/CodeContracts