pub fn conjuncts(expr: &Expression) -> Vec<Expression>Expand description
Converting an expression to a conjunctive normal form can lead to a large number of expression nodes. For now, we will just extract the conjuncts from the expression, and return a vector of conjuncts. We could look at try cnf with a size cap and otherwise return the original conjuncts.