It would be good to clarify what happens when the position is not found. (returns `List(EmptyTree)`, instead of `Nil`).