Checking the Model and the Prior for the Constrained Multinomial