Locate the smallest tree that encloses position.
Locate the smallest tree that encloses position.
The tree in which to search pos
The position to look for
An additional condition to be satisfied by the resulting tree
The innermost enclosing tree for which p is true, or EmptyTree
if the position could not be found.