An abstract Monte-Carlo method for the analysis of probabilistic programs