Probabilistic programming has emerged as a powerful paradigm for constructing and analysing statistical models by combining the expressiveness of modern programming languages with the rigour of ...