NonNullString and Product assert and pre/post