Evaluating probabilistic programming languages for simulating quantum correlations protocol (method, recipe) by Abdul Obeid