Function remove_unreachable_allocs

fn remove_unreachable_allocs<'tcx>(
    this: &mut MiriInterpCx<'tcx>,
    allocs: FxHashSet<AllocId>,
)