Coherence checking and propagation of lower probability bounds