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