Hamiltonian Monte Carlo for Probabilistic Programs with Discontinuities | Read Paper on Bytez