Expansion Contract.Ensures ce Emits a 'ensures' clause Jonathan de Halleux
System.Diagnostics.Contracts