Expansion Contract.Ensures(Contract.ValueAtReturn(...)!=null) cern Emits a 'Contract.Ensures' non-null out or ref parameter clause tabarbe
System.Diagnostics.Contracts value Value that must not be null arg