Expansion Contract.Invariant cin Emits a 'Contract.Invariant' non-null clause Jonathan de Halleux
System.Diagnostics.Contracts expression the non-null expression m_X