ConstraintAnalysis: Remove older redundant constraints (#8912)

If we know `x != 1` and we are told `x == 0`, then we can forget about
`x != 1` and just store `x == 0` (which implies `x != 1`).