Contract.OldValue cold Emits a 'Contract.OldValue' expression Manuel Fahndrich
System.Diagnostics.Contracts expression expression to be evaluated in method pre-state x