Analysis of probabilistic programs by abstract interpretation