Incremental Static Analysis Of Probabilistic Programs