Expansion Contract.Invariant ci Emits a 'Contract.Invariant' clause Jonathan de Halleux
System.Diagnostics.Contracts condition boolean invariant condition false