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