Expansion Contract.Requires<E> cre Emits a 'Contract.Requires<Exc>' clause Jonathan de Halleux
System.Diagnostics.Contracts exception Exception type ArgumentException condition precondition expression false ($condition$);$end$]]>