Function varisat_checker::state::check_change_sampling_mode

fn check_change_sampling_mode<'a>(
    ctx: Const<CheckerStateP, Mut<VariablesP, Mut<ProcessingP<'a>, Mut<ClausesP, Ref<Context<'a>>>>>>, 
    var: Var, 
    sample: bool
) -> Result<(), CheckerError>

Check a ChangeSamplingMode step