pub fn split_conjunction(expr: &ExprRef) -> Vec<ExprRef>
Splits top level and operations into separate expressions