Yes, and with Alexey's work (if I've understood it) the propagators are allowed to hold multiple values(beliefs) based on more than one (possibly conflicting) s

Yes, and with Alexey's work (if I've understood it) the propagators are allowed to hold multiple values(beliefs) based on more than one (possibly conflicting) set of constraints.