Contract.OldValue co Emits a 'Contract.OldValue' expression Manuel Fahndrich
System.Diagnostics.Contracts expression old expression x