Fix false contract assumption encountered on System.Decimal.op_Explicit
Fix false contract assumption encountered on System.Decimal.op_Explicit

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