Probabilistic Program Abstractions