pub fn to_conjunctions(expr: ExprImpl) -> Vec<ExprImpl>
Transform a bool expression to Conjunctive form. e.g. given expression is (expr1 AND expr2 AND expr3) the function will return Vec[expr1, expr2, expr3].