ConstraintAnalysis: Do not add something already known to be true when ANDing (#8889)

If `X -> Y` (X proves Y), then we can avoid adding Y when doing `X && Y`

(Formally, if `Y -> Z` (Y proves something useful Z) then `X -> Y -> Z`
so X proves it already.)