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