rbtree-int: Fixed definition of borRBTreeIntPrev().