Expansion Contract.Requires(!String.IsNullOrEmpty(..)) crsn Emits a 'requires' not IsNullOrEmpty Jonathan de Halleux
System.Diagnostics.Contracts variable argument name arg