Expansion Contract.Requires cr Emits a 'Contract.Requires' clause Jonathan de Halleux
System.Diagnostics.Contracts condition precondition expression false