[llvm] [ValueTracking] Track `or disjoint` conditions as add in Assumption/DomCondition Cache (PR #86302)

[via llvm-commits]

goldsteinn wrote:

> According to the test result, I'd like to merge the remaining part of #86059 first.

This one isn't really meant to be impactful, imo its just cleanup to use `addlike` instead of `add` in as many places as we can. Think there is very little risk involved.

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