SMS versenden: Commutative semantics for probabilistic programming