Propagating Belief Functions with Local Computations | Synapse