Expansion Contract.Ensures(cce.NonNullElements(Contract.Result<...>())) cenn Emits a 'Contract.Ensures' non-null elements clause tabarbe
System.Diagnostics.Contracts collection Collection whose elements must not be null List<string> ()));$end$]]>