fix the balancedness test for RBT: red children must be black