fix functional 2-3 tree; add test case for it