Changed push_pop
Now also the size is adjusted after the whole generation