Function varisat::clause::gc::collect_garbage

pub fn collect_garbage(
    ctx: Const<TrailP, Mut<WatchlistsP, Mut<ImplGraphP, Mut<ClauseDbP, Mut<ClauseAllocP, Ref<Context>>>>>>
)

Perform a garbage collection of long clauses if necessary.