more tests for split_le and split_lt