Exact Inference Engine for Probabilistic Programs - View it on GitHub