`NewExpression.Members` is contracted [here](https://github.com/Microsoft/CodeContracts/blob/b2021fb80abd1dbddd0ff5f2bb146ebe2acb5f9d/Microsoft.Research/Contracts/System.Core.Contracts/System.Linq.Expressions.NewExpression.cs#L71) to return non-null, but I see no such proof in the Reference Source or MSDN documentation. Microsoft even null-check it on [line 116 here](http://referencesource.microsoft.com/#System.Core/Microsoft/Scripting/Ast/NewExpression.cs,116).
NewExpression.Membersis contracted here to return non-null, but I see no such proof in the Reference Source or MSDN documentation.Microsoft even null-check it on line 116 here.