add functional red-black tree test case