Algorithms for coherence checking and propagation of conditional probability bounds