sort-of balancing insert and DF-preoder