Expansion Contract.Assert(...!=null) can Emits a 'Contract.Assert' non-null clause tabarbe
System.Diagnostics.Contracts condition condition that must not be null arg