Model checking after bayesian inference