DAVL-1: fix split-at with map coll