[clang] [analyzer][solver] On SymSym RelOps, check EQClass members for contradictions (PR #71284)

[via cfe-commits]

DonatNagyE wrote:

I'd like to abstain from deciding this question.

Personally I don't like the idea that we add yet another hack that'll remain in the codebase forever and slows down all other development efforts in this area (as contributors who want to understand this logic will need to study some extra logic); but if a more experienced reviewer (e.g @Xazax-hun or @martong) accepts this PR, the I won't oppose it. 

https://github.com/llvm/llvm-project/pull/71284