Function varisat::assumptions::analyze_assumption_conflict

fn analyze_assumption_conflict<'a>(
    ctx: Const<VariablesP, Const<TrailP, Const<ImplGraphP, Const<ClauseAllocP, Mut<TmpFlagsP, Mut<SolverStateP, Mut<ProofP<'a>, Mut<AssumptionsP, Ref<Context<'a>>>>>>>>>>, 
    assumption: Lit
)

Analyze a conflicting set of assumptions.

Compute a set of incompatible assumptions given an assumption that is incompatible with the assumptions enqueued so far.