partial evaluator for probabilistic programs