Wightman functions in a model with mass renormalization