correct insertion of rb tree and more ut