pub fn flatten_and_expr(expr: &Expr, out: &mut Vec<Expr>)
Flatten a right-leaning AND expression tree into a list of conjuncts.