Probability Bounds Analysis for Python#