push unused livethroughs through loops in belady3