Expansion Contract.Assert cca Emits a 'Contract.Assert' clause MaF
System.Diagnostics.Contracts condition expression representing the condition that must be true False