Added header for red-black tree