tree successor function and debug flag based assertion helper
partial RBTree Delete function