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