[clang] [clang][dataflow] Manage stacks of formulas directly instead of recur… (PR #175980)

[Jan Voung via cfe-commits]

================

----------------
jvoung wrote:

Might be good to have another version of "NestedBinaryUnary" test with a Not in there?
WDYT?

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