Function varisat::variables::delete_global_if_unused

fn delete_global_if_unused<'a>(
    ctx: Mut<VariablesP, Mut<SolverStateP, Mut<ProofP<'a>, Ref<Context<'a>>>>>, 
    global: Var
)

Delete a global variable if it is unused