Function varisat::analyze_conflict::add_literal

fn add_literal(
    ctx: Const<TrailP, Const<ImplGraphP, Mut<VsidsP, Mut<AnalyzeConflictP, Ref<Context>>>>>, 
    lit: Lit
)

Add a literal to the current clause.