pub fn split_conjuncts(e: Expr) -> Vec<Expr>
Split a top-level AND expression into its conjuncts (leaves of the AND tree).
a AND b AND c → [a, b, c]. Non-AND expressions are returned as a single-element Vec.
a AND b AND c
[a, b, c]
Vec