Lazy Factored Inference for Functional Probabilistic Programming | Read Paper on Bytez