Expansion Contract.Invariant cisn Emits a 'Contract.Invariant' not String.IsNullOrEmpty clause Jonathan de Halleux
System.Diagnostics.Contracts expression expression that is not null or empty m_X