new faster version without assertion from last loop into current expanding solver