correct test of RedblackTreeDelete