Computational Aspects in Checking of Coherence and Propagation of Conditional Probability Bounds