code: private static Region split(Region t) {
      if (t.right.right.level == t.level) {
        t = rotateWithRightChild(t);
        t.level++;
      }
      return t;
    }
docs: Split primitive for AA-trees.
  
  @param t
  the node that roots the tree.
  @return the new root after the rotation.