Expansion Contract.Requires(cce.NonNullElements(...)) crnn Emits a 'Contract.Requires' non-null elements clause tabarbe
System.Diagnostics.Contracts collection collection whose elements must not be null arg