Function lll_dependency_degree 

pub fn lll_dependency_degree(clauses: &[Vec<Lit>]) -> usize

The LLL dependency degree: the maximum, over all clauses, of the number of other clauses that share at least one variable with it. Clauses over disjoint variable sets are independent events and do not count toward the degree.