Changed return type of RBTreeIsEmpty from void to int