Contract.Result crr Emits a 'Contract.Result' expression Manuel Fahndrich
System.Diagnostics.Contracts type method return type int ()$end$]]>