Let's add a comment here and in SelectInsideBracket that the reason this almost-but-not-quite-repeated code is different is because of the depth checks in the bracket matcher.