[PPT] - Efficient Analysis of Probabilistic Programs with an Unbounded PowerPoint Presentation