Function extract_dnf_clauses_aux 

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