[clang] [clang][dataflow] Add a simple boolean model for clang dataflow analyses (PR #231061)

[Gábor Horváth via cfe-commits]

https://github.com/Xazax-hun commented:

Overall, looks good. I am wondering if you ever run experiments running multiple solvers in parallel to make sure they never disagree. As in a more advanced solver can always refine the results of a less advanced one but they should never confidently have conflicting conclusions. 

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