Expansion Contract.Invariant cinv Emits a 'Contract.Invariant' clause MaF
System.Diagnostics.Contracts condition boolean invariant condition false