Update precondition tests (especially for zero-size access to null)

Update precondition tests (especially for zero-size access to null) #137780