Fix bug that label constants within a CaseLabelTree must be counted

Hey there.

I think you’re reporting a false-positive. I’ve moved your post to the appropriate section, and I would ask you visit this post and add more information: