pub fn split_conjunction<'a>(predicate: &'a Expr, predicates: &mut Vec<&'a Expr>)
converts “A AND B AND C” => [A, B, C]