Stav dette: Maximum a posteriori estimation by search in probabilistic programs