Lifted Inference for Probabilistic Programming