If the search path goes right-left-left, some node in $C$ may be smaller than the rightmost node of $P$.
Concretely, let $0$ be at the root, its two children are $-1$ and $4$. The children of $4$ are $2$ and $5$, the children of $2$ are $1$ and $3$. The search for key $1$ makes $B=\\{0,4,2,1\\}$, $A=\\{-1\\}$, $C=\\{5,3\\}$. And $4\le 3$ is false.