done splitting RBT into color, height, ord
fixme is failing