Nothing wrong with the paper, but the relationship of the paper to the OP seems tenuous. The paper you link is not doing inference, it seems like just sampling

Nothing wrong with the paper, but the relationship of the paper to the OP seems tenuous. The paper you link is not doing inference, it seems like just sampling. The OP is doing inference using some non-obvious program transformations and MCMC.