Function remove_unreachable_allocs 

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