Expansion Contract.Assert cca Emits a 'Contract.Assert' clause MaF
System.Diagnostics.Contracts condition condition that must be true false