[SCCP] Don't violate the lattice invariants