Expansion Contract.Invariant cinvn Emits a 'Contract.Invariant' IsNot Nothing clause MaF
System.Diagnostics.Contracts expression expression that is not nothing m_X