Oops, we checked the emptyness of a different vector than needed
A cleaner and probably faster any-order propagation
More conflicts, less simplification
Revert "Don't strengthen on first iteration"

This reverts commit d22af93597763fb5d8ee5a67f45167627726a138.