Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support