Towards Precision of Probabilistic Bounds Propagation