Update codecon: add RB tree