Complete SearchTree.v