Function varisat::clause::reduce::reduce_locals

pub fn reduce_locals<'a>(
    ctx: Const<VariablesP, Const<ImplGraphP, Const<AssignmentP, Mut<WatchlistsP, Mut<SolverStateP, Mut<ProofP<'a>, Mut<ClauseDbP, Mut<ClauseAllocP, Ref<Context<'a>>>>>>>>>>
)

Reduce the number of local tier clauses by deleting half of them.