Expansion Contract.Invariant cinvsn Emits a 'Contract.Invariant' Not String.IsNullOrEmpty clause MaF
System.Diagnostics.Contracts expression expression that is not nothing or empty m_X