Coherence Checking and Propagation of Lower Probability Bounds