Adding specs for red black trees