Function varisat_checker::variables::remove_user_mapping

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

Remove a user/global var mapping.