Expansion Contract.Requires(Not IsNullOrEmpty(arg)) crsn Emits a 'requires' not is null or empty clause Jonathan de Halleux
System.Diagnostics.Contracts variable argument name arg