Belief updating in multiply sectioned Bayesian networks without repeated local propagations