Expansion Contract.Ensures(cce.NonNullElements(Contract.ValueAtReturn(...))) cernn Emits a 'Contract.Ensures' cce.non-nullelements out parameter clause tabarbe
System.Diagnostics.Contracts value Value that must not be null arg