The binary tree ADT extends the Tree (ADT). It has additional methods:
position left(v): return the left child ofposition right(v): return the right child ofboolean hasLeft(v): test whether has a left childboolean hasRight(v): test whether has a right child