Status: IN
In `find_second_minimum_value`, when `node.val > min_val`, the subtree is pruned because the tree's parent-equals-min-of-children invariant guarantees no descendant can have a value between `min_val` and `node.val`.
Source: entries/2026/06/06/second-minimum-node-in-a-binary-tree-solution.md