Expansion Contract.Ensures(Contract.Result() != null) cen Emits an 'ensures' clause specifying result not null Jonathan de Halleux
System.Diagnostics.Contracts type the method return type string () != null); $end$]]>