Posterior SBC: simulation-based calibration checking conditional on data | Synapse