Var

This case checks for large arrays that are allocated on the stack.

The fault finding semantic match
The note finding semantic match, in the rule var. This refers to this semantic match.