Function extract_dnf_clauses 

pub fn extract_dnf_clauses(
    arena: &FormulaArena,
    formula_idx: usize,
    depth: usize,
    in_comp: bool,
    budget: &ResourceBudget,
    edge_count: &mut usize,
) -> Vec<Vec<Constraint>>