Function normalize_constraint_batch 

fn normalize_constraint_batch(
    constraints: impl IntoIterator<Item = BoolExpr>,
    capacity: usize,
) -> Vec<BoolExpr>