Makes sure semilattice changes propagate correctly.