DAVL-1: fix split-at, add tests