Function varisat_checker::variables::ensure_sampling_var

pub fn ensure_sampling_var(
    ctx: Const<CheckerStateP, Mut<VariablesP, Mut<ClausesP, Ref<Context>>>>, 
    var: Var
) -> Result<(), CheckerError>

Check that var is a sampling user var and create new variables as necessary.