Văn bản này: Beyond Bayesian model averaging over paths in probabilistic programs with stochastic support