abstractInterpretation Experiments with abstract interpretation for Bayesian inference on probabilistic programs