public interface BTPosition extends Position {
  /** Returns the element stored at this position. */
  void setElement(Object o);
  BTPosition getLeft();
  void setLeft(BTPosition v);
  BTPosition getRight();
  void setRight(BTPosition v);
  BTPosition getParent();
  void setParent(BTPosition v);
}