Function varisat_checker::state::check_delete_var_step

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

Check a DeleteVar step