06_BST_Lab_Kyle_Richardson

I don't think the r->left->k <= k check is sufficient for what you are trying to do. Instead, do the next(k, r->left) call first, and check what value you get back.