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