Function varisat_checker::state::check_failed_assumptions_step

fn check_failed_assumptions_step<'a>(
    ctx: Const<CheckerStateP, Mut<VariablesP, Mut<TmpDataP, Mut<RupCheckP, Mut<ProcessingP<'a>, Mut<ClausesP, Mut<ClauseHasherP, Ref<Context<'a>>>>>>>>>, 
    failed_core: &[Lit], 
    propagation_hashes: &[ClauseHash]
) -> Result<(), CheckerError>

Check a FailedAssumptions step