Expansion Contract.Requires(.. IsNot Nothing) crn Emits a 'requires' not null clause Jonathan de Halleux
System.Diagnostics.Contracts variable variable name arg