Function split_conjunction_impl 

fn split_conjunction_impl<'a>(
    expr: &'a Expr,
    exprs: Vec<&'a Expr>,
) -> Vec<&'a Expr>