Convert null checks to Contract.Requires