C# LanguageCode Contracts and Assertions