SiftUp finishes if there is no swap