Expansion Contract.Requires(Of ArgumentException)(Not String.IsNullOrEmpty(..)) cresn Emits a 'requires with exception' not IsNullOrEmpty MaF
System.Diagnostics.Contracts variable argument name arg