Function varisat::clause::gc::mark_asserting_clauses

fn mark_asserting_clauses(
    ctx: Const<TrailP, Const<ImplGraphP, Mut<ClauseAllocP, Ref<Context>>>>
)

Mark asserting clauses to track them through GC.