Deactivate is preferred over local halt when:
- The algorithm converges on a value through multiple iterations.
- An earlier input message to the current vertex was propagated along only some, but not all, of the outgoing edges of the current vertex, and the newer message might go to a different subset or edges (or to all edges).