.NET 4.0 New Feature - 程式碼合約(Code Contracts) (四) Contract.ForAll amp; Contract.Exists