take-while-more and take-while-pred2-more